Bob is cold. Bob is furry. Bob is kind. Bob is quiet. Bob is round. Bob is smart. Bob is white. Charlie is cold. Charlie is furry. Charlie is smart. Dave is cold. Dave is furry. Dave is kind. Dave is quiet. Dave is smart. Dave is white. If Dave is furry then Dave is cold. If someone is smart and round then they are white. Kind, cold people are smart. All kind people are round. If Dave is white and Dave is smart then Dave is quiet. All cold, quiet people are white.
Dave is not cold.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is quiet.[(triple4)] Bob is round.[(triple5 OR ((triple3) -> rule4))] Bob is smart.[(triple6 OR ((triple3 triple1) -> rule3))] Bob is white.[(triple7 OR ((triple1 triple4) -> rule6) OR ((triple6 triple5) -> rule2) OR ((triple6 ((triple3) -> rule4)) -> rule2) OR ((((triple3 triple1) -> rule3) triple5) -> rule2) OR ((((triple3 triple1) -> rule3) ((triple3) -> rule4)) -> rule2))] Charlie is cold.[(triple8)] Charlie is furry.[(triple9)] Charlie is smart.[(triple10)] Dave is cold.[(triple11 OR ((triple12) -> rule1))] Dave is furry.[(triple12)] Dave is kind.[(triple13)] Dave is quiet.[(triple14 OR ((triple16 triple15) -> rule5) OR ((triple16 ((triple13 triple11) -> rule3)) -> rule5) OR ((triple16 ((triple13 ((triple12) -> rule1)) -> rule3)) -> rule5) OR ((((triple15 ((triple13) -> rule4)) -> rule2) triple15) -> rule5) OR ((((triple15 ((triple13) -> rule4)) -> rule2) ((triple13 triple11) -> rule3)) -> rule5) OR ((((((triple13 triple11) -> rule3) ((triple13) -> rule4)) -> rule2) triple15) -> rule5) OR ((((triple15 ((triple13) -> rule4)) -> rule2) ((triple13 ((triple12) -> rule1)) -> rule3)) -> rule5) OR ((((((triple13 triple11) -> rule3) ((triple13) -> rule4)) -> rule2) ((triple13 triple11) -> rule3)) -> rule5) OR ((((((triple13 triple11) -> rule3) ((triple13) -> rule4)) -> rule2) ((triple13 ((triple12) -> rule1)) -> rule3)) -> rule5) OR ((((((triple13 ((triple12) -> rule1)) -> rule3) ((triple13) -> rule4)) -> rule2) triple15) -> rule5) OR ((((((triple13 ((triple12) -> rule1)) -> rule3) ((triple13) -> rule4)) -> rule2) ((triple13 triple11) -> rule3)) -> rule5) OR ((((((triple13 ((triple12) -> rule1)) -> rule3) ((triple13) -> rule4)) -> rule2) ((triple13 ((triple12) -> rule1)) -> rule3)) -> rule5))] Dave is smart.[(triple15 OR ((triple13 triple11) -> rule3) OR ((triple13 ((triple12) -> rule1)) -> rule3))] Dave is white.[(triple16 OR ((triple11 triple14) -> rule6) OR ((triple15 ((triple13) -> rule4)) -> rule2) OR ((((triple12) -> rule1) triple14) -> rule6) OR ((((triple13 triple11) -> rule3) ((triple13) -> rule4)) -> rule2) OR ((((triple13 ((triple12) -> rule1)) -> rule3) ((triple13) -> rule4)) -> rule2))] @1: Dave is round.[(((triple13) -> rule4))]