Anne is cold. Anne is green. Anne is kind. Anne is quiet. Anne is smart. Bob is cold. Bob is green. Bob is kind. Bob is quiet. Bob is smart. Bob is young. Fiona is kind. Fiona is quiet. Fiona is smart. Fiona is young. Quiet things are young. Kind things are furry. If Anne is cold then Anne is young. Quiet things are young. If something is kind and young then it is green. Quiet things are kind. Young things are cold. Green, kind things are quiet.
Fiona is quiet.
@0: Anne is cold.[(triple1 OR ((((triple4) -> rule1)) -> rule7) OR ((((triple4) -> rule4)) -> rule7) OR ((((((triple2 triple3) -> rule8)) -> rule1)) -> rule7) OR ((((((triple2 triple3) -> rule8)) -> rule4)) -> rule7))] Anne is green.[(triple2 OR ((triple3 ((triple1) -> rule3)) -> rule5) OR ((triple3 ((triple4) -> rule1)) -> rule5) OR ((triple3 ((triple4) -> rule4)) -> rule5) OR ((((triple4) -> rule6) ((triple1) -> rule3)) -> rule5) OR ((((triple4) -> rule6) ((triple4) -> rule1)) -> rule5) OR ((((triple4) -> rule6) ((triple4) -> rule4)) -> rule5))] Anne is kind.[(triple3 OR ((triple4) -> rule6))] Anne is quiet.[(triple4 OR ((triple2 triple3) -> rule8) OR ((((triple3 ((triple1) -> rule3)) -> rule5) triple3) -> rule8))] Anne is smart.[(triple5)] Bob is cold.[(triple6 OR ((triple11) -> rule7) OR ((((triple9) -> rule1)) -> rule7) OR ((((triple9) -> rule4)) -> rule7) OR ((((((triple7 triple8) -> rule8)) -> rule1)) -> rule7) OR ((((((triple7 triple8) -> rule8)) -> rule4)) -> rule7))] Bob is green.[(triple7 OR ((triple8 triple11) -> rule5) OR ((triple8 ((triple9) -> rule1)) -> rule5) OR ((triple8 ((triple9) -> rule4)) -> rule5) OR ((((triple9) -> rule6) triple11) -> rule5) OR ((((triple9) -> rule6) ((triple9) -> rule1)) -> rule5) OR ((((triple9) -> rule6) ((triple9) -> rule4)) -> rule5))] Bob is kind.[(triple8 OR ((triple9) -> rule6))] Bob is quiet.[(triple9 OR ((triple7 triple8) -> rule8) OR ((((triple8 triple11) -> rule5) triple8) -> rule8))] Bob is smart.[(triple10)] Bob is young.[(triple11 OR ((triple9) -> rule1) OR ((triple9) -> rule4) OR ((((triple7 triple8) -> rule8)) -> rule1) OR ((((triple7 triple8) -> rule8)) -> rule4))] Fiona is kind.[(triple12 OR ((triple13) -> rule6))] Fiona is quiet.[(triple13 OR ((((triple12 triple15) -> rule5) triple12) -> rule8))] Fiona is smart.[(triple14)] Fiona is young.[(triple15 OR ((triple13) -> rule1) OR ((triple13) -> rule4))] @1: Anne is furry.[(((triple3) -> rule2) OR ((((triple4) -> rule6)) -> rule2))] Anne is young.[(((triple1) -> rule3) OR ((triple4) -> rule1) OR ((triple4) -> rule4) OR ((((triple2 triple3) -> rule8)) -> rule1) OR ((((triple2 triple3) -> rule8)) -> rule4))] Bob is furry.[(((triple8) -> rule2) OR ((((triple9) -> rule6)) -> rule2))] Fiona is cold.[(((triple15) -> rule7) OR ((((triple13) -> rule1)) -> rule7) OR ((((triple13) -> rule4)) -> rule7))] Fiona is furry.[(((triple12) -> rule2) OR ((((triple13) -> rule6)) -> rule2))] Fiona is green.[(((triple12 triple15) -> rule5) OR ((triple12 ((triple13) -> rule1)) -> rule5) OR ((triple12 ((triple13) -> rule4)) -> rule5) OR ((((triple13) -> rule6) triple15) -> rule5) OR ((((triple13) -> rule6) ((triple13) -> rule1)) -> rule5) OR ((((triple13) -> rule6) ((triple13) -> rule4)) -> rule5))]