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