Bob is big. Bob is furry. Bob is green. Bob is rough. Fiona is big. Gary is quiet. Gary is young. Harry is cold. Harry is furry. Harry is quiet. Harry is rough. Harry is young. All green, rough people are furry. All green people are rough. Cold people are quiet. If Harry is furry then Harry is rough. If Bob is quiet and Bob is big then Bob is rough. All rough, quiet people are green.
Gary is not furry.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2 OR ((triple3 triple4) -> rule1) OR ((triple3 ((triple3) -> rule2)) -> rule1))] Bob is green.[(triple3)] Bob is rough.[(triple4 OR ((triple3) -> rule2))] Fiona is big.[(triple5)] Gary is quiet.[(triple6)] Gary is young.[(triple7)] Harry is cold.[(triple8)] Harry is furry.[(triple9 OR ((((triple11 triple10) -> rule6) triple11) -> rule1) OR ((((triple11 ((triple8) -> rule3)) -> rule6) triple11) -> rule1))] Harry is quiet.[(triple10 OR ((triple8) -> rule3))] Harry is rough.[(triple11 OR ((triple9) -> rule4))] Harry is young.[(triple12)] @1: Harry is green.[(((triple11 triple10) -> rule6) OR ((triple11 ((triple8) -> rule3)) -> rule6) OR ((((triple9) -> rule4) triple10) -> rule6) OR ((((triple9) -> rule4) ((triple8) -> rule3)) -> rule6))]