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