Anne is big. Anne is cold. Anne is furry. Anne is green. Anne is kind. Anne is rough. Anne is smart. Fiona is big. Fiona is cold. Fiona is furry. Fiona is green. Fiona is rough. Harry is furry. Harry is kind. Harry is smart. Kind, furry things are big. If something is green then it is cold. If Anne is kind and Anne is cold then Anne is rough. Cold, smart things are rough. If something is big and furry then it is cold. All cold, kind things are green.
Fiona is smart.
@0: Anne is big.[(triple1 OR ((triple5 triple3) -> rule1))] Anne is cold.[(triple2 OR ((triple4) -> rule2) OR ((triple1 triple3) -> rule5) OR ((((triple5 triple3) -> rule1) triple3) -> rule5))] Anne is furry.[(triple3)] Anne is green.[(triple4 OR ((triple2 triple5) -> rule6) OR ((((triple1 triple3) -> rule5) triple5) -> rule6) OR ((((((triple5 triple3) -> rule1) triple3) -> rule5) triple5) -> rule6))] Anne is kind.[(triple5)] Anne is rough.[(triple6 OR ((triple2 triple7) -> rule4) OR ((triple5 triple2) -> rule3) OR ((triple5 ((triple4) -> rule2)) -> rule3) OR ((triple5 ((triple1 triple3) -> rule5)) -> rule3) OR ((((triple4) -> rule2) triple7) -> rule4) OR ((((triple1 triple3) -> rule5) triple7) -> rule4) OR ((triple5 ((((triple5 triple3) -> rule1) triple3) -> rule5)) -> rule3) OR ((((((triple5 triple3) -> rule1) triple3) -> rule5) triple7) -> rule4))] Anne is smart.[(triple7)] Fiona is big.[(triple8)] Fiona is cold.[(triple9 OR ((triple11) -> rule2) OR ((triple8 triple10) -> rule5))] Fiona is furry.[(triple10)] Fiona is green.[(triple11)] Fiona is rough.[(triple12)] Harry is furry.[(triple13)] Harry is kind.[(triple14)] Harry is smart.[(triple15)] @1: Harry is big.[(((triple14 triple13) -> rule1))] @2: Harry is cold.[(((((triple14 triple13) -> rule1) triple13) -> rule5))] @3: Harry is green.[(((((((triple14 triple13) -> rule1) triple13) -> rule5) triple14) -> rule6))] Harry is rough.[(((((((triple14 triple13) -> rule1) triple13) -> rule5) triple15) -> rule4))]