The bear visits the cat. The cat does not chase the cow. The cat visits the bear. The cat visits the cow. The cat visits the rabbit. The cow chases the cat. The rabbit chases the cat. The rabbit chases the cow. The rabbit is big. The rabbit visits the bear. If something visits the cow and it is blue then the cow is cold. If something is red and it does not visit the rabbit then it is cold. If something visits the cat then it does not see the cat. If something visits the cow then it does not chase the bear. If something visits the cow then it is blue. If the bear does not chase the rabbit then the rabbit is not blue. If something chases the rabbit and it sees the cat then the rabbit chases the bear. If something is cold and it chases the cat then the cat is cold.
The cat chases the rabbit.
@0: The bear visits the cat.[(triple1)] The cat does not chase the cow.[(triple2)] The cat visits the bear.[(triple3)] The cat visits the cow.[(triple4)] The cat visits the rabbit.[(triple5)] The cow chases the cat.[(triple6)] The rabbit chases the cat.[(triple7)] The rabbit chases the cow.[(triple8)] The rabbit is big.[(triple9)] The rabbit visits the bear.[(triple10)] @1: The bear does not see the cat.[(((triple1) -> rule3))] The cat does not chase the bear.[(((triple4) -> rule4))] The cat is blue.[(((triple4) -> rule5))] @2: The cow is cold.[(((triple4 ((triple4) -> rule5)) -> rule1))] @3: The cat is cold.[(((((triple4 ((triple4) -> rule5)) -> rule1) triple6) -> rule8))]