The cow is blue. The cow is kind. The cow is rough. The cow needs the dog. The cow needs the squirrel. The cow visits the dog. The dog is blue. The dog is cold. The dog is kind. The dog is rough. The dog likes the cow. The squirrel is cold. The squirrel is kind. The squirrel likes the dog. The squirrel needs the cow. If someone visits the dog then the dog visits the cow. If someone likes the dog then they visit the cow. If someone likes the cow and they are kind then they visit the squirrel. If someone needs the dog then they are cold. If someone likes the squirrel and they are cold then the squirrel is rough. If someone is blue then they like the squirrel. If someone visits the squirrel and the squirrel is round then they visit the cow. If someone visits the cow then they are kind.
The dog is not cold.
@0: The cow is blue.[(triple1)] The cow is kind.[(triple2)] The cow is rough.[(triple3)] The cow needs the dog.[(triple4)] The cow needs the squirrel.[(triple5)] The cow visits the dog.[(triple6)] The dog is blue.[(triple7)] The dog is cold.[(triple8)] The dog is kind.[(triple9 OR ((((triple6) -> rule1)) -> rule8))] The dog is rough.[(triple10)] The dog likes the cow.[(triple11)] The squirrel is cold.[(triple12)] The squirrel is kind.[(triple13 OR ((((triple14) -> rule2)) -> rule8))] The squirrel likes the dog.[(triple14)] The squirrel needs the cow.[(triple15)] @1: The cow is cold.[(((triple4) -> rule4))] The cow likes the squirrel.[(((triple1) -> rule6))] The dog likes the squirrel.[(((triple7) -> rule6))] The dog visits the cow.[(((triple6) -> rule1))] The dog visits the squirrel.[(((triple11 triple9) -> rule3) OR ((triple11 ((((triple6) -> rule1)) -> rule8)) -> rule3))] The squirrel visits the cow.[(((triple14) -> rule2))] @2: The squirrel is rough.[(((((triple7) -> rule6) triple8) -> rule5) OR ((((triple1) -> rule6) ((triple4) -> rule4)) -> rule5))]