Bob is big. Bob is blue. Bob is cold. Bob is kind. Bob is rough. Bob is smart. Dave is blue. Dave is cold. Dave is kind. Dave is smart. Big, cold things are blue. If something is cold then it is kind. Furry, cold things are kind. Cold things are smart. If something is rough and blue then it is furry. If something is cold then it is kind. If Bob is cold then Bob is big. Blue, cold things are furry.
Dave is not rough.
@0: Bob is big.[(triple1 OR ((triple3) -> rule7))] Bob is blue.[(triple2 OR ((triple1 triple3) -> rule1) OR ((((triple3) -> rule7) triple3) -> rule1))] Bob is cold.[(triple3)] Bob is kind.[(triple4 OR ((triple3) -> rule2) OR ((triple3) -> rule6) OR ((((triple2 triple3) -> rule8) triple3) -> rule3) OR ((((triple5 triple2) -> rule5) triple3) -> rule3) OR ((((triple5 ((triple1 triple3) -> rule1)) -> rule5) triple3) -> rule3) OR ((((((triple1 triple3) -> rule1) triple3) -> rule8) triple3) -> rule3) OR ((((triple5 ((((triple3) -> rule7) triple3) -> rule1)) -> rule5) triple3) -> rule3) OR ((((((((triple3) -> rule7) triple3) -> rule1) triple3) -> rule8) triple3) -> rule3))] Bob is rough.[(triple5)] Bob is smart.[(triple6 OR ((triple3) -> rule4))] Dave is blue.[(triple7)] Dave is cold.[(triple8)] Dave is kind.[(triple9 OR ((triple8) -> rule2) OR ((triple8) -> rule6) OR ((((triple7 triple8) -> rule8) triple8) -> rule3))] Dave is smart.[(triple10 OR ((triple8) -> rule4))] @1: Bob is furry.[(((triple2 triple3) -> rule8) OR ((triple5 triple2) -> rule5) OR ((triple5 ((triple1 triple3) -> rule1)) -> rule5) OR ((((triple1 triple3) -> rule1) triple3) -> rule8) OR ((triple5 ((((triple3) -> rule7) triple3) -> rule1)) -> rule5) OR ((((((triple3) -> rule7) triple3) -> rule1) triple3) -> rule8))] Dave is furry.[(((triple7 triple8) -> rule8))]