Anne is big. Anne is cold. Anne is furry. Anne is green. Anne is kind. Anne is nice. Anne is smart. Fiona is big. Fiona is cold. Fiona is furry. Fiona is green. Fiona is kind. Fiona is nice. Fiona is smart. Smart people are nice. All furry people are nice. If Fiona is cold then Fiona is furry. All furry, smart people are cold. If someone is furry and green then they are nice. All nice people are kind. If someone is big and furry then they are green. If Anne is cold then Anne is smart.
Fiona is not cold.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple3 triple7) -> rule4))] Anne is furry.[(triple3)] Anne is green.[(triple4 OR ((triple1 triple3) -> rule7))] Anne is kind.[(triple5 OR ((triple6) -> rule6) OR ((((triple3) -> rule2)) -> rule6) OR ((((triple7) -> rule1)) -> rule6) OR ((((triple3 triple4) -> rule5)) -> rule6) OR ((((((triple2) -> rule8)) -> rule1)) -> rule6) OR ((((triple3 ((triple1 triple3) -> rule7)) -> rule5)) -> rule6))] Anne is nice.[(triple6 OR ((triple3) -> rule2) OR ((triple7) -> rule1) OR ((triple3 triple4) -> rule5) OR ((((triple2) -> rule8)) -> rule1) OR ((triple3 ((triple1 triple3) -> rule7)) -> rule5))] Anne is smart.[(triple7 OR ((triple2) -> rule8))] Fiona is big.[(triple8)] Fiona is cold.[(triple9 OR ((triple10 triple14) -> rule4))] Fiona is furry.[(triple10 OR ((triple9) -> rule3))] Fiona is green.[(triple11 OR ((triple8 triple10) -> rule7) OR ((triple8 ((triple9) -> rule3)) -> rule7))] Fiona is kind.[(triple12 OR ((triple13) -> rule6) OR ((((triple10) -> rule2)) -> rule6) OR ((((triple14) -> rule1)) -> rule6) OR ((((triple10 triple11) -> rule5)) -> rule6) OR ((((((triple9) -> rule3)) -> rule2)) -> rule6) OR ((((triple10 ((triple8 triple10) -> rule7)) -> rule5)) -> rule6) OR ((((((triple9) -> rule3) triple11) -> rule5)) -> rule6) OR ((((((triple9) -> rule3) ((triple8 triple10) -> rule7)) -> rule5)) -> rule6) OR ((((triple10 ((triple8 ((triple9) -> rule3)) -> rule7)) -> rule5)) -> rule6) OR ((((((triple9) -> rule3) ((triple8 ((triple9) -> rule3)) -> rule7)) -> rule5)) -> rule6))] Fiona is nice.[(triple13 OR ((triple10) -> rule2) OR ((triple14) -> rule1) OR ((triple10 triple11) -> rule5) OR ((((triple9) -> rule3)) -> rule2) OR ((triple10 ((triple8 triple10) -> rule7)) -> rule5) OR ((((triple9) -> rule3) triple11) -> rule5) OR ((((triple9) -> rule3) ((triple8 triple10) -> rule7)) -> rule5) OR ((triple10 ((triple8 ((triple9) -> rule3)) -> rule7)) -> rule5) OR ((((triple9) -> rule3) ((triple8 ((triple9) -> rule3)) -> rule7)) -> rule5))] Fiona is smart.[(triple14)]