The cat is big. The cow is big. The cow is blue. The cow is nice. The cow needs the lion. The lion eats the cow. The lion likes the cat. If someone is green then they eat the cow. If someone likes the lion then they like the cat. If the cow needs the cat then the cat eats the cow. If someone needs the lion then the lion needs the cow. If someone is big and they need the lion then they like the cow. If someone needs the lion and the lion needs the cow then they like the cat.
The cow is not big.
@0: The cat is big.[(triple1)] The cow is big.[(triple2)] The cow is blue.[(triple3)] The cow is nice.[(triple4)] The cow needs the lion.[(triple5)] The lion eats the cow.[(triple6)] The lion likes the cat.[(triple7)] @1: The cow likes the cow.[(((triple2 triple5) -> rule5))] The lion needs the cow.[(((triple5) -> rule4))] @2: The cow likes the cat.[(((triple5 ((triple5) -> rule4)) -> rule6))]