Anne is rough. Fiona is white. Fiona is young. Gary is quiet. Harry is cold. Harry is rough. Harry is white. All smart, round things are young. Quiet things are rough. Quiet, cold things are round. If something is white and cold then it is smart. If something is smart and cold then it is quiet. Quiet things are round.
Anne is not round.
@0: Anne is rough.[(triple1)] Fiona is white.[(triple2)] Fiona is young.[(triple3)] Gary is quiet.[(triple4)] Harry is cold.[(triple5)] Harry is rough.[(triple6 OR ((((((triple7 triple5) -> rule4) triple5) -> rule5)) -> rule2))] Harry is white.[(triple7)] @1: Gary is rough.[(((triple4) -> rule2))] Gary is round.[(((triple4) -> rule6))] Harry is smart.[(((triple7 triple5) -> rule4))] @2: Harry is quiet.[(((((triple7 triple5) -> rule4) triple5) -> rule5))] @3: Harry is round.[(((((((triple7 triple5) -> rule4) triple5) -> rule5)) -> rule6) OR ((((((triple7 triple5) -> rule4) triple5) -> rule5) triple5) -> rule3))] @4: Harry is young.[(((((triple7 triple5) -> rule4) ((((((triple7 triple5) -> rule4) triple5) -> rule5)) -> rule6)) -> rule1) OR ((((triple7 triple5) -> rule4) ((((((triple7 triple5) -> rule4) triple5) -> rule5) triple5) -> rule3)) -> rule1))]