The bear is cold. The cat eats the bear. The cat eats the cow. The cat is rough. The cat visits the cow. The cow eats the cat. The cow is cold. If someone eats the bear then the bear is young. If someone is young then they need the cow.
The cow does not eat the cat.
@0: The bear is cold.[(triple1)] The cat eats the bear.[(triple2)] The cat eats the cow.[(triple3)] The cat is rough.[(triple4)] The cat visits the cow.[(triple5)] The cow eats the cat.[(triple6)] The cow is cold.[(triple7)] @1: The bear is young.[(((triple2) -> rule1))] @2: The bear needs the cow.[(((((triple2) -> rule1)) -> rule2))]