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