Anne is nice. Anne is not round. Anne is young. Bob is not green. Bob is rough. Bob is round. Bob is white. Gary is green. Gary is nice. Gary is red. Gary is rough. Gary is round. Gary is white. Gary is young. Harry is rough. Harry is round. If someone is rough and red then they are young. If someone is rough and round then they are red. If Bob is white then Bob is rough.
Harry is not young.
@0: Anne is nice.[(triple1)] Anne is not round.[(triple2)] Anne is young.[(triple3)] Bob is not green.[(triple4)] Bob is rough.[(triple5 OR ((triple7) -> rule3))] Bob is round.[(triple6)] Bob is white.[(triple7)] Gary is green.[(triple8)] Gary is nice.[(triple9)] Gary is red.[(triple10 OR ((triple11 triple12) -> rule2))] Gary is rough.[(triple11)] Gary is round.[(triple12)] Gary is white.[(triple13)] Gary is young.[(triple14 OR ((triple11 triple10) -> rule1) OR ((triple11 ((triple11 triple12) -> rule2)) -> rule1))] Harry is rough.[(triple15)] Harry is round.[(triple16)] @1: Bob is red.[(((triple5 triple6) -> rule2) OR ((((triple7) -> rule3) triple6) -> rule2))] Harry is red.[(((triple15 triple16) -> rule2))] @2: Bob is young.[(((triple5 ((triple5 triple6) -> rule2)) -> rule1) OR ((((triple7) -> rule3) ((triple5 triple6) -> rule2)) -> rule1) OR ((triple5 ((((triple7) -> rule3) triple6) -> rule2)) -> rule1) OR ((((triple7) -> rule3) ((((triple7) -> rule3) triple6) -> rule2)) -> rule1))] Harry is young.[(((triple15 ((triple15 triple16) -> rule2)) -> rule1))]