Bob is red. Dave is big. Dave is white. Fiona is green. Gary is big. Gary is furry. Gary is quiet. If Fiona is quiet and Fiona is rough then Fiona is white. If something is quiet and rough then it is green. All green things are big. If Fiona is big then Fiona is rough. Red, green things are big. Furry things are rough.
Gary is not rough.
@0: Bob is red.[(triple1)] Dave is big.[(triple2)] Dave is white.[(triple3)] Fiona is green.[(triple4)] Gary is big.[(triple5 OR ((((triple7 ((triple6) -> rule6)) -> rule2)) -> rule3))] Gary is furry.[(triple6)] Gary is quiet.[(triple7)] @1: Fiona is big.[(((triple4) -> rule3))] Gary is rough.[(((triple6) -> rule6))] @2: Fiona is rough.[(((((triple4) -> rule3)) -> rule4))] Gary is green.[(((triple7 ((triple6) -> rule6)) -> rule2))]