Anne is cold. Erin is cold. Erin is nice. Erin is red. Erin is rough. Erin is round. Fiona is round. If something is white then it is red. Nice, blue things are cold. All blue things are cold. Red things are blue. If Anne is red and Anne is round then Anne is nice. If Erin is white then Erin is nice. All round things are red. All rough things are cold.
Erin is not cold.
@0: Anne is cold.[(triple1)] Erin is cold.[(triple2 OR ((triple5) -> rule8) OR ((((triple4) -> rule4)) -> rule3) OR ((triple3 ((triple4) -> rule4)) -> rule2) OR ((((((triple6) -> rule7)) -> rule4)) -> rule3) OR ((triple3 ((((triple6) -> rule7)) -> rule4)) -> rule2))] Erin is nice.[(triple3)] Erin is red.[(triple4 OR ((triple6) -> rule7))] Erin is rough.[(triple5)] Erin is round.[(triple6)] Fiona is round.[(triple7)] @1: Erin is blue.[(((triple4) -> rule4) OR ((((triple6) -> rule7)) -> rule4))] Fiona is red.[(((triple7) -> rule7))] @2: Fiona is blue.[(((((triple7) -> rule7)) -> rule4))] @3: Fiona is cold.[(((((((triple7) -> rule7)) -> rule4)) -> rule3))]