Anne is blue. Anne is round. Anne is smart. Fiona is kind. Fiona is round. Gary is kind. Gary is smart. All young, round things are blue. If Fiona is blue then Fiona is smart. All kind, round things are blue. If something is round and young then it is rough. If something is blue then it is round. All round, blue things are smart. If something is kind then it is rough. If Gary is young and Gary is big then Gary is round.
Gary is not smart.
@0: Anne is blue.[(triple1)] Anne is round.[(triple2 OR ((triple1) -> rule5))] Anne is smart.[(triple3 OR ((triple2 triple1) -> rule6) OR ((((triple1) -> rule5) triple1) -> rule6))] Fiona is kind.[(triple4)] Fiona is round.[(triple5)] Gary is kind.[(triple6)] Gary is smart.[(triple7)] @1: Fiona is blue.[(((triple4 triple5) -> rule3))] Fiona is rough.[(((triple4) -> rule7))] Gary is rough.[(((triple6) -> rule7))] @2: Fiona is smart.[(((((triple4 triple5) -> rule3)) -> rule2) OR ((triple5 ((triple4 triple5) -> rule3)) -> rule6))]