Dave is furry. Dave is kind. Dave is red. Dave is smart. Fiona is red. Fiona is smart. Fiona is white. Gary is furry. Gary is round. Gary is smart. If Gary is smart then Gary is white. Red things are white. Furry, round things are smart. If something is smart then it is young. Round things are furry. All red things are furry.
Dave is smart.
@0: Dave is furry.[(triple1 OR ((triple3) -> rule6))] Dave is kind.[(triple2)] Dave is red.[(triple3)] Dave is smart.[(triple4)] Fiona is red.[(triple5)] Fiona is smart.[(triple6)] Fiona is white.[(triple7 OR ((triple5) -> rule2))] Gary is furry.[(triple8 OR ((triple9) -> rule5))] Gary is round.[(triple9)] Gary is smart.[(triple10 OR ((triple8 triple9) -> rule3) OR ((((triple9) -> rule5) triple9) -> rule3))] @1: Dave is white.[(((triple3) -> rule2))] Dave is young.[(((triple4) -> rule4))] Fiona is furry.[(((triple5) -> rule6))] Fiona is young.[(((triple6) -> rule4))] Gary is white.[(((triple10) -> rule1) OR ((((triple8 triple9) -> rule3)) -> rule1) OR ((((((triple9) -> rule5) triple9) -> rule3)) -> rule1))] Gary is young.[(((triple10) -> rule4) OR ((((triple8 triple9) -> rule3)) -> rule4) OR ((((((triple9) -> rule5) triple9) -> rule3)) -> rule4))]