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