Fiona is furry. Fiona is kind. Fiona is nice. Fiona is red. Fiona is rough. Fiona is round. Fiona is white. Harry is furry. Harry is kind. Harry is nice. Harry is red. Harry is round. All red, kind things are round. If something is white then it is red. If Harry is round then Harry is furry. If Harry is rough and Harry is not red then Harry is nice. If something is round and rough then it is nice. All kind, nice things are rough.
Harry is not nice.
@0: Fiona is furry.[(triple1)] Fiona is kind.[(triple2)] Fiona is nice.[(triple3 OR ((triple6 triple5) -> rule5) OR ((((triple4 triple2) -> rule1) triple5) -> rule5) OR ((((((triple7) -> rule2) triple2) -> rule1) triple5) -> rule5))] Fiona is red.[(triple4 OR ((triple7) -> rule2))] Fiona is rough.[(triple5 OR ((triple2 triple3) -> rule6))] Fiona is round.[(triple6 OR ((triple4 triple2) -> rule1) OR ((((triple7) -> rule2) triple2) -> rule1))] Fiona is white.[(triple7)] Harry is furry.[(triple8 OR ((triple12) -> rule3) OR ((((triple11 triple9) -> rule1)) -> rule3))] Harry is kind.[(triple9)] Harry is nice.[(triple10)] Harry is red.[(triple11)] Harry is round.[(triple12 OR ((triple11 triple9) -> rule1))] @1: Harry is rough.[(((triple9 triple10) -> rule6))]