Anne is not big. Anne is not rough. Fiona is red. Gary is big. Gary is kind. Gary is red. Gary is round. Harry is kind. Harry is red. Harry is smart. All white things are round. If something is round then it is big. If Gary is red and Gary is not kind then Gary is round. If Fiona is big and Fiona is not red then Fiona is round. All red, smart things are white. All big things are white. If Gary is not white then Gary is rough. If Gary is not red then Gary is not rough.
Anne is not round.
@0: Anne is not big.[(triple1)] Anne is not rough.[(triple2)] Fiona is red.[(triple3)] Gary is big.[(triple4 OR ((triple7) -> rule2))] Gary is kind.[(triple5)] Gary is red.[(triple6)] Gary is round.[(triple7 OR ((((triple4) -> rule6)) -> rule1))] Harry is kind.[(triple8)] Harry is red.[(triple9)] Harry is smart.[(triple10)] @1: Gary is white.[(((triple4) -> rule6) OR ((((triple7) -> rule2)) -> rule6))] Harry is white.[(((triple9 triple10) -> rule5))] @2: Harry is round.[(((((triple9 triple10) -> rule5)) -> rule1))] @3: Harry is big.[(((((((triple9 triple10) -> rule5)) -> rule1)) -> rule2))]