Anne is blue. Anne is green. Anne is kind. Anne is red. Anne is round. Anne is smart. Fiona is blue. Fiona is cold. Fiona is green. Fiona is red. Fiona is round. Fiona is smart. If Anne is red then Anne is green. If something is green then it is red. Blue things are smart. Kind, cold things are smart. If Anne is green then Anne is blue. All green things are red. If something is smart and cold then it is red. Red things are cold.
Fiona is not red.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule5) OR ((((triple4) -> rule1)) -> rule5))] Anne is green.[(triple2 OR ((triple4) -> rule1))] Anne is kind.[(triple3)] Anne is red.[(triple4 OR ((triple2) -> rule2) OR ((triple2) -> rule6))] Anne is round.[(triple5)] Anne is smart.[(triple6 OR ((triple1) -> rule3) OR ((((triple2) -> rule5)) -> rule3) OR ((triple3 ((triple4) -> rule8)) -> rule4) OR ((((((triple4) -> rule1)) -> rule5)) -> rule3) OR ((triple3 ((((triple2) -> rule2)) -> rule8)) -> rule4) OR ((triple3 ((((triple2) -> rule6)) -> rule8)) -> rule4))] Fiona is blue.[(triple7)] Fiona is cold.[(triple8 OR ((triple10) -> rule8) OR ((((triple9) -> rule2)) -> rule8) OR ((((triple9) -> rule6)) -> rule8))] Fiona is green.[(triple9)] Fiona is red.[(triple10 OR ((triple9) -> rule2) OR ((triple9) -> rule6) OR ((triple12 triple8) -> rule7) OR ((((triple7) -> rule3) triple8) -> rule7))] Fiona is round.[(triple11)] Fiona is smart.[(triple12 OR ((triple7) -> rule3))] @1: Anne is cold.[(((triple4) -> rule8) OR ((((triple2) -> rule2)) -> rule8) OR ((((triple2) -> rule6)) -> rule8))]