Fiona is kind. Fiona is nice. Fiona is rough. Harry is blue. Harry is kind. Harry is nice. Harry is quiet. Harry is rough. Harry is round. Harry is white. All blue things are quiet. If something is nice and white then it is blue. If something is rough and kind then it is white.
Harry is not nice.
@0: Fiona is kind.[(triple1)] Fiona is nice.[(triple2)] Fiona is rough.[(triple3)] Harry is blue.[(triple4 OR ((triple6 triple10) -> rule2) OR ((triple6 ((triple8 triple5) -> rule3)) -> rule2))] Harry is kind.[(triple5)] Harry is nice.[(triple6)] Harry is quiet.[(triple7 OR ((triple4) -> rule1) OR ((((triple6 triple10) -> rule2)) -> rule1) OR ((((triple6 ((triple8 triple5) -> rule3)) -> rule2)) -> rule1))] Harry is rough.[(triple8)] Harry is round.[(triple9)] Harry is white.[(triple10 OR ((triple8 triple5) -> rule3))] @1: Fiona is white.[(((triple3 triple1) -> rule3))] @2: Fiona is blue.[(((triple2 ((triple3 triple1) -> rule3)) -> rule2))] @3: Fiona is quiet.[(((((triple2 ((triple3 triple1) -> rule3)) -> rule2)) -> rule1))]