Dave is blue. Fiona is blue. Fiona is nice. Fiona is white. Gary is not blue. Gary is furry. Gary is not round. If Dave is nice then Dave is white. If someone is blue and not nice then they are white. If someone is blue then they are white. If someone is furry then they are white. All round, blue people are white. All white people are furry. If Fiona is furry and Fiona is round then Fiona is white. Furry people are quiet.
Dave is furry.
@0: Dave is blue.[(triple1)] Fiona is blue.[(triple2)] Fiona is nice.[(triple3)] Fiona is white.[(triple4 OR ((triple2) -> rule3))] Gary is furry.[(triple6)] Gary is not blue.[(triple5)] Gary is not round.[(triple7)] @1: Dave is white.[(((triple1) -> rule3))] Fiona is furry.[(((triple4) -> rule6) OR ((((triple2) -> rule3)) -> rule6))] Gary is quiet.[(((triple6) -> rule8))] Gary is white.[(((triple6) -> rule4))] @2: Dave is furry.[(((((triple1) -> rule3)) -> rule6))] Fiona is quiet.[(((((triple4) -> rule6)) -> rule8) OR ((((((triple2) -> rule3)) -> rule6)) -> rule8))] @3: Dave is quiet.[(((((((triple1) -> rule3)) -> rule6)) -> rule8))]