Anne is big. Anne is cold. Anne is kind. Anne is red. Anne is rough. Anne is round. Anne is smart. Bob is big. Bob is cold. Bob is red. Bob is rough. Bob is round. Fiona is kind. Fiona is red. Fiona is round. Fiona is smart. If Anne is red then Anne is round. If Bob is red then Bob is cold. If Anne is round and Anne is rough then Anne is cold. Kind, cold people are round. If someone is rough and big then they are kind. If someone is round and big then they are smart. If Anne is rough then Anne is smart. Round, cold people are smart.
Fiona is big.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple6 triple5) -> rule3) OR ((((triple4) -> rule1) triple5) -> rule3))] Anne is kind.[(triple3 OR ((triple5 triple1) -> rule5))] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6 OR ((triple4) -> rule1) OR ((triple3 triple2) -> rule4) OR ((((triple5 triple1) -> rule5) triple2) -> rule4))] Anne is smart.[(triple7 OR ((triple5) -> rule7) OR ((triple6 triple1) -> rule6) OR ((triple6 triple2) -> rule8) OR ((triple6 ((triple6 triple5) -> rule3)) -> rule8) OR ((((triple4) -> rule1) triple1) -> rule6) OR ((((triple4) -> rule1) triple2) -> rule8) OR ((((triple3 triple2) -> rule4) triple1) -> rule6) OR ((((triple3 triple2) -> rule4) triple2) -> rule8) OR ((((triple4) -> rule1) ((triple6 triple5) -> rule3)) -> rule8) OR ((((triple3 triple2) -> rule4) ((triple6 triple5) -> rule3)) -> rule8) OR ((triple6 ((((triple4) -> rule1) triple5) -> rule3)) -> rule8) OR ((((((triple5 triple1) -> rule5) triple2) -> rule4) triple1) -> rule6) OR ((((((triple5 triple1) -> rule5) triple2) -> rule4) triple2) -> rule8) OR ((((triple4) -> rule1) ((((triple4) -> rule1) triple5) -> rule3)) -> rule8) OR ((((triple3 triple2) -> rule4) ((((triple4) -> rule1) triple5) -> rule3)) -> rule8) OR ((((((triple5 triple1) -> rule5) triple2) -> rule4) ((triple6 triple5) -> rule3)) -> rule8) OR ((((((triple5 triple1) -> rule5) triple2) -> rule4) ((((triple4) -> rule1) triple5) -> rule3)) -> rule8))] Bob is big.[(triple8)] Bob is cold.[(triple9 OR ((triple10) -> rule2))] Bob is red.[(triple10)] Bob is rough.[(triple11)] Bob is round.[(triple12 OR ((((triple11 triple8) -> rule5) triple9) -> rule4) OR ((((triple11 triple8) -> rule5) ((triple10) -> rule2)) -> rule4))] Fiona is kind.[(triple13)] Fiona is red.[(triple14)] Fiona is round.[(triple15)] Fiona is smart.[(triple16)] @1: Bob is kind.[(((triple11 triple8) -> rule5))] Bob is smart.[(((triple12 triple8) -> rule6) OR ((triple12 triple9) -> rule8) OR ((triple12 ((triple10) -> rule2)) -> rule8) OR ((((((triple11 triple8) -> rule5) triple9) -> rule4) triple8) -> rule6) OR ((((((triple11 triple8) -> rule5) triple9) -> rule4) triple9) -> rule8) OR ((((((triple11 triple8) -> rule5) triple9) -> rule4) ((triple10) -> rule2)) -> rule8) OR ((((((triple11 triple8) -> rule5) ((triple10) -> rule2)) -> rule4) triple8) -> rule6) OR ((((((triple11 triple8) -> rule5) ((triple10) -> rule2)) -> rule4) triple9) -> rule8) OR ((((((triple11 triple8) -> rule5) ((triple10) -> rule2)) -> rule4) ((triple10) -> rule2)) -> rule8))]