Anne is round. Bob is big. Bob is furry. Bob is red. Fiona is furry. Harry is big. Harry is nice. All furry things are round. Furry, round things are red. Nice things are young. If something is green then it is big. If Harry is furry then Harry is young. All nice things are furry. If Harry is red then Harry is furry. If Fiona is nice and Fiona is round then Fiona is young.
Harry is not round.
@0: Anne is round.[(triple1)] Bob is big.[(triple2)] Bob is furry.[(triple3)] Bob is red.[(triple4 OR ((triple3 ((triple3) -> rule1)) -> rule2))] Fiona is furry.[(triple5)] Harry is big.[(triple6)] Harry is nice.[(triple7)] @1: Bob is round.[(((triple3) -> rule1))] Fiona is round.[(((triple5) -> rule1))] Harry is furry.[(((triple7) -> rule6))] Harry is young.[(((triple7) -> rule3) OR ((((triple7) -> rule6)) -> rule5))] @2: Fiona is red.[(((triple5 ((triple5) -> rule1)) -> rule2))] Harry is round.[(((((triple7) -> rule6)) -> rule1))] @3: Harry is red.[(((((triple7) -> rule6) ((((triple7) -> rule6)) -> rule1)) -> rule2))]