Anne is not big. Anne is green. Anne is nice. Anne is young. Bob is nice. Fiona is not round. Fiona is young. Gary is green. Gary is nice. Gary is red. Gary is round. Gary is young. If something is big then it is white. Nice things are young. Nice, green things are round. If something is white and not young then it is green. All round, white things are not green. All young, round things are red. Green things are red. If something is round and not young then it is red.
Gary is not round.
@0: Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is not big.[(triple1)] Anne is young.[(triple4 OR ((triple3) -> rule2))] Bob is nice.[(triple5)] Fiona is not round.[(triple6)] Fiona is young.[(triple7)] Gary is green.[(triple8)] Gary is nice.[(triple9)] Gary is red.[(triple10 OR ((triple8) -> rule7) OR ((triple12 triple11) -> rule6) OR ((triple12 ((triple9 triple8) -> rule3)) -> rule6) OR ((((triple9) -> rule2) triple11) -> rule6) OR ((((triple9) -> rule2) ((triple9 triple8) -> rule3)) -> rule6))] Gary is round.[(triple11 OR ((triple9 triple8) -> rule3))] Gary is young.[(triple12 OR ((triple9) -> rule2))] @1: Anne is red.[(((triple2) -> rule7) OR ((triple4 ((triple3 triple2) -> rule3)) -> rule6) OR ((((triple3) -> rule2) ((triple3 triple2) -> rule3)) -> rule6))] Anne is round.[(((triple3 triple2) -> rule3))] Bob is young.[(((triple5) -> rule2))]