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