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