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