Dave is nice. Dave is rough. Dave is white. Fiona is big. Fiona is furry. Fiona is nice. Fiona is red. Fiona is rough. Fiona is white. Gary is big. Gary is white. Harry is furry. Harry is nice. Harry is quiet. Harry is rough. Harry is white. Rough people are nice. All white people are furry. Furry, white people are rough.
Dave is not big.
@0: Dave is nice.[(triple1 OR ((triple2) -> rule1) OR ((((((triple3) -> rule2) triple3) -> rule3)) -> rule1))] Dave is rough.[(triple2 OR ((((triple3) -> rule2) triple3) -> rule3))] Dave is white.[(triple3)] Fiona is big.[(triple4)] Fiona is furry.[(triple5 OR ((triple9) -> rule2))] Fiona is nice.[(triple6 OR ((triple8) -> rule1) OR ((((triple5 triple9) -> rule3)) -> rule1) OR ((((((triple9) -> rule2) triple9) -> rule3)) -> rule1))] Fiona is red.[(triple7)] Fiona is rough.[(triple8 OR ((triple5 triple9) -> rule3) OR ((((triple9) -> rule2) triple9) -> rule3))] Fiona is white.[(triple9)] Gary is big.[(triple10)] Gary is white.[(triple11)] Harry is furry.[(triple12 OR ((triple16) -> rule2))] Harry is nice.[(triple13 OR ((triple15) -> rule1) OR ((((triple12 triple16) -> rule3)) -> rule1) OR ((((((triple16) -> rule2) triple16) -> rule3)) -> rule1))] Harry is quiet.[(triple14)] Harry is rough.[(triple15 OR ((triple12 triple16) -> rule3) OR ((((triple16) -> rule2) triple16) -> rule3))] Harry is white.[(triple16)] @1: Dave is furry.[(((triple3) -> rule2))] Gary is furry.[(((triple11) -> rule2))] @2: Gary is rough.[(((((triple11) -> rule2) triple11) -> rule3))] @3: Gary is nice.[(((((((triple11) -> rule2) triple11) -> rule3)) -> rule1))]