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