Bob is big. Bob is blue. Bob is cold. Bob is kind. Bob is red. Bob is round. Bob is smart. Charlie is big. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is red. Charlie is round. Charlie is smart. If Charlie is cold then Charlie is blue. If someone is smart then they are blue. Cold people are big. Smart people are kind. If someone is smart then they are round. If someone is big and cold then they are smart.
Bob is not kind.
@0: Bob is big.[(triple1 OR ((triple3) -> rule3))] Bob is blue.[(triple2 OR ((triple7) -> rule2) OR ((((triple1 triple3) -> rule6)) -> rule2) OR ((((((triple3) -> rule3) triple3) -> rule6)) -> rule2))] Bob is cold.[(triple3)] Bob is kind.[(triple4 OR ((triple7) -> rule4) OR ((((triple1 triple3) -> rule6)) -> rule4) OR ((((((triple3) -> rule3) triple3) -> rule6)) -> rule4))] Bob is red.[(triple5)] Bob is round.[(triple6 OR ((triple7) -> rule5) OR ((((triple1 triple3) -> rule6)) -> rule5) OR ((((((triple3) -> rule3) triple3) -> rule6)) -> rule5))] Bob is smart.[(triple7 OR ((triple1 triple3) -> rule6) OR ((((triple3) -> rule3) triple3) -> rule6))] Charlie is big.[(triple8 OR ((triple10) -> rule3))] Charlie is blue.[(triple9 OR ((triple10) -> rule1) OR ((triple14) -> rule2) OR ((((triple8 triple10) -> rule6)) -> rule2) OR ((((((triple10) -> rule3) triple10) -> rule6)) -> rule2))] Charlie is cold.[(triple10)] Charlie is kind.[(triple11 OR ((triple14) -> rule4) OR ((((triple8 triple10) -> rule6)) -> rule4) OR ((((((triple10) -> rule3) triple10) -> rule6)) -> rule4))] Charlie is red.[(triple12)] Charlie is round.[(triple13 OR ((triple14) -> rule5) OR ((((triple8 triple10) -> rule6)) -> rule5) OR ((((((triple10) -> rule3) triple10) -> rule6)) -> rule5))] Charlie is smart.[(triple14 OR ((triple8 triple10) -> rule6) OR ((((triple10) -> rule3) triple10) -> rule6))]