Dave is rough. Dave is not round. Dave is not smart. Fiona is furry. Fiona is nice. Fiona is rough. Fiona is not round. Gary is nice. Gary is round. Gary is white. If Gary is furry then Gary is not smart. All round people are nice. If someone is nice then they are white. All round people are furry. All white people are furry. If someone is furry then they are kind. If someone is white and smart then they are not rough. If someone is furry then they are not smart.
Dave is smart.
@0: Dave is not round.[(triple2)] Dave is not smart.[(triple3)] Dave is rough.[(triple1)] Fiona is furry.[(triple4 OR ((((triple5) -> rule3)) -> rule5))] Fiona is nice.[(triple5)] Fiona is not round.[(triple7)] Fiona is rough.[(triple6)] Gary is nice.[(triple8 OR ((triple9) -> rule2))] Gary is round.[(triple9)] Gary is white.[(triple10 OR ((triple8) -> rule3) OR ((((triple9) -> rule2)) -> rule3))] @1: Fiona is kind.[(((triple4) -> rule6) OR ((((((triple5) -> rule3)) -> rule5)) -> rule6))] Fiona is not smart.[(((triple4) -> rule8) OR ((((((triple5) -> rule3)) -> rule5)) -> rule8))] Fiona is white.[(((triple5) -> rule3))] Gary is furry.[(((triple10) -> rule5) OR ((triple9) -> rule4) OR ((((triple8) -> rule3)) -> rule5) OR ((((((triple9) -> rule2)) -> rule3)) -> rule5))] @2: Gary is kind.[(((((triple10) -> rule5)) -> rule6) OR ((((triple9) -> rule4)) -> rule6) OR ((((((triple8) -> rule3)) -> rule5)) -> rule6) OR ((((((((triple9) -> rule2)) -> rule3)) -> rule5)) -> rule6))] Gary is not smart.[(((((triple10) -> rule5)) -> rule1) OR ((((triple10) -> rule5)) -> rule8) OR ((((triple9) -> rule4)) -> rule1) OR ((((triple9) -> rule4)) -> rule8) OR ((((((triple8) -> rule3)) -> rule5)) -> rule1) OR ((((((triple8) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple9) -> rule2)) -> rule3)) -> rule5)) -> rule1) OR ((((((((triple9) -> rule2)) -> rule3)) -> rule5)) -> rule8))]