Anne is cold. Anne is furry. Anne is kind. Anne is rough. Anne is round. Anne is smart. Anne is young. Bob is cold. Bob is furry. Bob is kind. Bob is rough. Bob is round. Bob is smart. Bob is young. Kind, round things are cold. If something is young then it is furry. All smart things are rough. Round things are furry. Kind, furry things are young. If Anne is furry and Anne is round then Anne is kind.
Anne is kind.
@0: Anne is cold.[(triple1 OR ((triple3 triple5) -> rule1) OR ((((triple2 triple5) -> rule6) triple5) -> rule1) OR ((((((triple5) -> rule4) triple5) -> rule6) triple5) -> rule1) OR ((((((triple7) -> rule2) triple5) -> rule6) triple5) -> rule1))] Anne is furry.[(triple2 OR ((triple5) -> rule4) OR ((triple7) -> rule2))] Anne is kind.[(triple3 OR ((triple2 triple5) -> rule6) OR ((((triple5) -> rule4) triple5) -> rule6) OR ((((triple7) -> rule2) triple5) -> rule6))] Anne is rough.[(triple4 OR ((triple6) -> rule3))] Anne is round.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7 OR ((triple3 triple2) -> rule5) OR ((triple3 ((triple5) -> rule4)) -> rule5) OR ((((triple2 triple5) -> rule6) triple2) -> rule5) OR ((((triple2 triple5) -> rule6) ((triple5) -> rule4)) -> rule5) OR ((((((triple5) -> rule4) triple5) -> rule6) triple2) -> rule5) OR ((((((triple5) -> rule4) triple5) -> rule6) ((triple5) -> rule4)) -> rule5))] Bob is cold.[(triple8 OR ((triple10 triple12) -> rule1))] Bob is furry.[(triple9 OR ((triple12) -> rule4) OR ((triple14) -> rule2))] Bob is kind.[(triple10)] Bob is rough.[(triple11 OR ((triple13) -> rule3))] Bob is round.[(triple12)] Bob is smart.[(triple13)] Bob is young.[(triple14 OR ((triple10 triple9) -> rule5) OR ((triple10 ((triple12) -> rule4)) -> rule5))]