Dave is not green. Dave is round. Dave is white. Fiona is furry. Fiona is red. Fiona is round. Fiona is white. Gary is not green. Gary is round. Gary is white. If something is nice then it is quiet. If something is furry and white then it is quiet. If something is quiet then it is red. All red, green things are round. If Dave is white then Dave is red. All round things are white. If Fiona is furry then Fiona is red. If something is red then it is nice.
Fiona is green.
@0: Dave is not green.[(triple1)] Dave is round.[(triple2)] Dave is white.[(triple3 OR ((triple2) -> rule6))] Fiona is furry.[(triple4)] Fiona is red.[(triple5 OR ((triple4) -> rule7) OR ((((triple4 triple7) -> rule2)) -> rule3) OR ((((triple4 ((triple6) -> rule6)) -> rule2)) -> rule3))] Fiona is round.[(triple6)] Fiona is white.[(triple7 OR ((triple6) -> rule6))] Gary is not green.[(triple8)] Gary is round.[(triple9)] Gary is white.[(triple10 OR ((triple9) -> rule6))] @1: Dave is red.[(((triple3) -> rule5) OR ((((triple2) -> rule6)) -> rule5))] Fiona is nice.[(((triple5) -> rule8) OR ((((triple4) -> rule7)) -> rule8) OR ((((((triple4 triple7) -> rule2)) -> rule3)) -> rule8) OR ((((((triple4 ((triple6) -> rule6)) -> rule2)) -> rule3)) -> rule8))] Fiona is quiet.[(((triple4 triple7) -> rule2) OR ((((triple5) -> rule8)) -> rule1) OR ((triple4 ((triple6) -> rule6)) -> rule2) OR ((((((triple4) -> rule7)) -> rule8)) -> rule1))] @2: Dave is nice.[(((((triple3) -> rule5)) -> rule8) OR ((((((triple2) -> rule6)) -> rule5)) -> rule8))] @3: Dave is quiet.[(((((((triple3) -> rule5)) -> rule8)) -> rule1) OR ((((((((triple2) -> rule6)) -> rule5)) -> rule8)) -> rule1))]