Fiona is furry. Fiona is round. Fiona is young. Harry is big. Harry is furry. Harry is kind. Harry is red. If something is cold then it is red. Furry things are kind. If Harry is red and Harry is kind then Harry is young. If something is furry then it is round. If something is young then it is kind. If something is round then it is kind.
Fiona is not young.
@0: Fiona is furry.[(triple1)] Fiona is round.[(triple2 OR ((triple1) -> rule4))] Fiona is young.[(triple3)] Harry is big.[(triple4)] Harry is furry.[(triple5)] Harry is kind.[(triple6 OR ((triple5) -> rule2) OR ((((triple5) -> rule4)) -> rule6))] Harry is red.[(triple7)] @1: Fiona is kind.[(((triple1) -> rule2) OR ((triple2) -> rule6) OR ((triple3) -> rule5) OR ((((triple1) -> rule4)) -> rule6))] Harry is round.[(((triple5) -> rule4))] Harry is young.[(((triple7 triple6) -> rule3) OR ((triple7 ((triple5) -> rule2)) -> rule3) OR ((triple7 ((((triple5) -> rule4)) -> rule6)) -> rule3))]