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