Bob is blue. Bob is cold. Bob is kind. Bob is nice. Bob is round. Bob is smart. Bob is young. All kind, smart things are cold. If something is round and blue then it is cold. If Bob is round and Bob is kind then Bob is cold. If something is smart then it is round. Young, nice things are smart. If Bob is young and Bob is smart then Bob is round. If Bob is round then Bob is nice. All round, young things are cold.
Bob is not cold.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple3 triple6) -> rule1) OR ((triple5 triple1) -> rule2) OR ((triple5 triple3) -> rule3) OR ((triple5 triple7) -> rule8) OR ((triple3 ((triple7 triple4) -> rule5)) -> rule1) OR ((((triple6) -> rule4) triple1) -> rule2) OR ((((triple6) -> rule4) triple3) -> rule3) OR ((((triple6) -> rule4) triple7) -> rule8) OR ((((triple7 triple6) -> rule6) triple1) -> rule2) OR ((((triple7 triple6) -> rule6) triple3) -> rule3) OR ((((triple7 triple6) -> rule6) triple7) -> rule8) OR ((triple3 ((triple7 ((triple5) -> rule7)) -> rule5)) -> rule1) OR ((((((triple7 triple4) -> rule5)) -> rule4) triple1) -> rule2) OR ((((((triple7 triple4) -> rule5)) -> rule4) triple3) -> rule3) OR ((((((triple7 triple4) -> rule5)) -> rule4) triple7) -> rule8) OR ((((triple7 ((triple7 triple4) -> rule5)) -> rule6) triple1) -> rule2) OR ((((triple7 ((triple7 triple4) -> rule5)) -> rule6) triple3) -> rule3) OR ((((triple7 ((triple7 triple4) -> rule5)) -> rule6) triple7) -> rule8))] Bob is kind.[(triple3)] Bob is nice.[(triple4 OR ((triple5) -> rule7) OR ((((triple6) -> rule4)) -> rule7) OR ((((triple7 triple6) -> rule6)) -> rule7))] Bob is round.[(triple5 OR ((triple6) -> rule4) OR ((triple7 triple6) -> rule6) OR ((((triple7 triple4) -> rule5)) -> rule4) OR ((triple7 ((triple7 triple4) -> rule5)) -> rule6))] Bob is smart.[(triple6 OR ((triple7 triple4) -> rule5) OR ((triple7 ((triple5) -> rule7)) -> rule5))] Bob is young.[(triple7)]