Fiona is furry. Fiona is green. Fiona is kind. Fiona is nice. Fiona is red. Fiona is rough. Harry is big. Harry is furry. Harry is nice. Harry is red. If someone is furry and green then they are nice. All green, red people are kind. If Harry is nice and Harry is kind then Harry is rough. If Harry is nice and Harry is furry then Harry is big. If someone is nice then they are green. If Fiona is kind and Fiona is big then Fiona is red.
Harry is kind.
@0: Fiona is furry.[(triple1)] Fiona is green.[(triple2 OR ((triple4) -> rule5))] Fiona is kind.[(triple3 OR ((triple2 triple5) -> rule2) OR ((((triple4) -> rule5) triple5) -> rule2))] Fiona is nice.[(triple4 OR ((triple1 triple2) -> rule1))] Fiona is red.[(triple5)] Fiona is rough.[(triple6)] Harry is big.[(triple7 OR ((triple9 triple8) -> rule4))] Harry is furry.[(triple8)] Harry is nice.[(triple9)] Harry is red.[(triple10)] @1: Harry is green.[(((triple9) -> rule5))] @2: Harry is kind.[(((((triple9) -> rule5) triple10) -> rule2))] @3: Harry is rough.[(((triple9 ((((triple9) -> rule5) triple10) -> rule2)) -> rule3))]