Dave is kind. Fiona is red. Fiona is white. Harry is furry. Harry is red. Harry is round. Harry is white. If someone is kind then they are red. All big, green people are kind. Green, round people are kind. If Fiona is white and Fiona is red then Fiona is round. White people are round. Round people are big. If someone is kind and green then they are round. If Harry is round and Harry is big then Harry is furry.
Fiona is big.
@0: Dave is kind.[(triple1)] Fiona is red.[(triple2)] Fiona is white.[(triple3)] Harry is furry.[(triple4 OR ((triple6 ((triple6) -> rule6)) -> rule8) OR ((((triple7) -> rule5) ((triple6) -> rule6)) -> rule8) OR ((triple6 ((((triple7) -> rule5)) -> rule6)) -> rule8) OR ((((triple7) -> rule5) ((((triple7) -> rule5)) -> rule6)) -> rule8))] Harry is red.[(triple5)] Harry is round.[(triple6 OR ((triple7) -> rule5))] Harry is white.[(triple7)] @1: Dave is red.[(((triple1) -> rule1))] Fiona is round.[(((triple3) -> rule5) OR ((triple3 triple2) -> rule4))] Harry is big.[(((triple6) -> rule6) OR ((((triple7) -> rule5)) -> rule6))] @2: Fiona is big.[(((((triple3) -> rule5)) -> rule6) OR ((((triple3 triple2) -> rule4)) -> rule6))]