Dave is furry. Fiona is big. Fiona is green. Fiona is quiet. Fiona is red. Gary is big. Gary is furry. Gary is red. Harry is not furry. Harry is rough. Green, cold things are furry. If Fiona is red then Fiona is furry. All big things are green. Quiet things are green. If something is furry then it is cold. If Dave is quiet and Dave is not big then Dave is green. If Harry is quiet then Harry is cold. All quiet, cold things are rough.
Fiona is not furry.
@0: Dave is furry.[(triple1)] Fiona is big.[(triple2)] Fiona is green.[(triple3 OR ((triple2) -> rule3) OR ((triple4) -> rule4))] Fiona is quiet.[(triple4)] Fiona is red.[(triple5)] Gary is big.[(triple6)] Gary is furry.[(triple7)] Gary is red.[(triple8)] Harry is not furry.[(triple9)] Harry is rough.[(triple10)] @1: Dave is cold.[(((triple1) -> rule5))] Fiona is furry.[(((triple5) -> rule2))] Gary is cold.[(((triple7) -> rule5))] Gary is green.[(((triple6) -> rule3))] @2: Fiona is cold.[(((((triple5) -> rule2)) -> rule5))] @3: Fiona is rough.[(((triple4 ((((triple5) -> rule2)) -> rule5)) -> rule8))]