The bear is cold. The cat is red. The cow needs the bear. The cow visits the bear. The cow visits the cat. The tiger is green. The tiger likes the cat. If the cow likes the cat then the cat likes the bear. If someone is cold then they need the tiger. If someone likes the bear then the bear needs the cow. If someone needs the tiger then the tiger likes the bear. If someone likes the tiger and they visit the cow then they need the cat. If someone is red and green then they visit the bear.
The cat is red.
@0: The bear is cold.[(triple1)] The cat is red.[(triple2)] The cow needs the bear.[(triple3)] The cow visits the bear.[(triple4)] The cow visits the cat.[(triple5)] The tiger is green.[(triple6)] The tiger likes the cat.[(triple7)] @1: The bear needs the tiger.[(((triple1) -> rule2))] @2: The tiger likes the bear.[(((((triple1) -> rule2)) -> rule4))] @3: The bear needs the cow.[(((((((triple1) -> rule2)) -> rule4)) -> rule3))]