Dave is blue. Dave is quiet. Fiona is round. Fiona is young. Harry is quiet. Harry is red. Harry is round. If something is red then it is blue. Blue, young things are red. If something is white and young then it is round. White, round things are quiet. If something is blue then it is young. Red things are white. If something is white then it is furry. Blue things are furry.
Harry is not furry.
@0: Dave is blue.[(triple1)] Dave is quiet.[(triple2 OR ((((((triple1 ((triple1) -> rule5)) -> rule2)) -> rule6) ((((((triple1 ((triple1) -> rule5)) -> rule2)) -> rule6) ((triple1) -> rule5)) -> rule3)) -> rule4))] Fiona is round.[(triple3)] Fiona is young.[(triple4)] Harry is quiet.[(triple5 OR ((((triple6) -> rule6) triple7) -> rule4) OR ((((triple6) -> rule6) ((((triple6) -> rule6) ((((triple6) -> rule1)) -> rule5)) -> rule3)) -> rule4))] Harry is red.[(triple6)] Harry is round.[(triple7 OR ((((triple6) -> rule6) ((((triple6) -> rule1)) -> rule5)) -> rule3))] @1: Dave is furry.[(((triple1) -> rule8) OR ((((((triple1 ((triple1) -> rule5)) -> rule2)) -> rule6)) -> rule7))] Dave is young.[(((triple1) -> rule5))] Harry is blue.[(((triple6) -> rule1))] Harry is white.[(((triple6) -> rule6))] @2: Dave is red.[(((triple1 ((triple1) -> rule5)) -> rule2))] Harry is furry.[(((((triple6) -> rule1)) -> rule8) OR ((((triple6) -> rule6)) -> rule7))] Harry is young.[(((((triple6) -> rule1)) -> rule5))] @3: Dave is white.[(((((triple1 ((triple1) -> rule5)) -> rule2)) -> rule6))] @4: Dave is round.[(((((((triple1 ((triple1) -> rule5)) -> rule2)) -> rule6) ((triple1) -> rule5)) -> rule3))]