Anne is nice. Anne is quiet. Anne is rough. Erin is nice. Erin is quiet. Fiona is quiet. Fiona is young. Harry is quiet. Harry is smart. Harry is young. Rough, quiet things are smart. Smart, young things are nice. If Fiona is red then Fiona is not quiet. If something is red and blue then it is rough. Smart, nice things are red. All red things are blue.
Harry is not blue.
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2)] Anne is rough.[(triple3)] Erin is nice.[(triple4)] Erin is quiet.[(triple5)] Fiona is quiet.[(triple6)] Fiona is young.[(triple7)] Harry is quiet.[(triple8)] Harry is smart.[(triple9)] Harry is young.[(triple10)] @1: Anne is smart.[(((triple3 triple2) -> rule1))] Harry is nice.[(((triple9 triple10) -> rule2))] @2: Anne is red.[(((((triple3 triple2) -> rule1) triple1) -> rule5))] Harry is red.[(((triple9 ((triple9 triple10) -> rule2)) -> rule5))] @3: Anne is blue.[(((((((triple3 triple2) -> rule1) triple1) -> rule5)) -> rule6))] Harry is blue.[(((((triple9 ((triple9 triple10) -> rule2)) -> rule5)) -> rule6))] @4: Harry is rough.[(((((triple9 ((triple9 triple10) -> rule2)) -> rule5) ((((triple9 ((triple9 triple10) -> rule2)) -> rule5)) -> rule6)) -> rule4))]