Charlie is cold. Charlie is round. Dave is cold. Dave is furry. Dave is nice. Dave is red. Dave is round. Dave is smart. Fiona is nice. Fiona is round. If something is nice and smart then it is cold. All round, young things are smart. If something is nice then it is smart. All smart, round things are cold. If something is furry and nice then it is red. If Dave is cold then Dave is smart.
Dave is not cold.
@0: Charlie is cold.[(triple1)] Charlie is round.[(triple2)] Dave is cold.[(triple3 OR ((triple5 triple8) -> rule1) OR ((triple8 triple7) -> rule4) OR ((triple5 ((triple5) -> rule3)) -> rule1) OR ((((triple5) -> rule3) triple7) -> rule4))] Dave is furry.[(triple4)] Dave is nice.[(triple5)] Dave is red.[(triple6 OR ((triple4 triple5) -> rule5))] Dave is round.[(triple7)] Dave is smart.[(triple8 OR ((triple3) -> rule6) OR ((triple5) -> rule3))] Fiona is nice.[(triple9)] Fiona is round.[(triple10)] @1: Fiona is smart.[(((triple9) -> rule3))] @2: Fiona is cold.[(((triple9 ((triple9) -> rule3)) -> rule1) OR ((((triple9) -> rule3) triple10) -> rule4))]