Dave is green. Dave is quiet. Dave is red. Fiona is big. Fiona is furry. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is smart. Gary is big. Gary is green. Gary is nice. Gary is quiet. Harry is furry. Harry is smart. All furry things are nice. Red things are big. If Fiona is big and Fiona is smart then Fiona is nice. All smart, red things are quiet. If Fiona is smart then Fiona is quiet. Nice things are smart.
Gary is red.
@0: Dave is green.[(triple1)] Dave is quiet.[(triple2)] Dave is red.[(triple3)] Fiona is big.[(triple4)] Fiona is furry.[(triple5)] Fiona is green.[(triple6)] Fiona is nice.[(triple7 OR ((triple5) -> rule1) OR ((triple4 triple9) -> rule3))] Fiona is quiet.[(triple8 OR ((triple9) -> rule5) OR ((((triple7) -> rule6)) -> rule5) OR ((((((triple5) -> rule1)) -> rule6)) -> rule5))] Fiona is smart.[(triple9 OR ((triple7) -> rule6) OR ((((triple5) -> rule1)) -> rule6))] Gary is big.[(triple10)] Gary is green.[(triple11)] Gary is nice.[(triple12)] Gary is quiet.[(triple13)] Harry is furry.[(triple14)] Harry is smart.[(triple15 OR ((((triple14) -> rule1)) -> rule6))] @1: Dave is big.[(((triple3) -> rule2))] Gary is smart.[(((triple12) -> rule6))] Harry is nice.[(((triple14) -> rule1))]