The cat eats the cow. The cat is big. The cat is young. The cat needs the cow. The cat visits the cow. The cow eats the cat. The cow is cold. The cow is red. The cow is round. The cow is young. The cow needs the cat. The cow visits the cat. If someone needs the cat and the cat needs the cow then they need the cow. If someone needs the cow and the cow is cold then they are big.
The cat is red.
@0: The cat eats the cow.[(triple1)] The cat is big.[(triple2 OR ((triple4 triple7) -> rule2))] The cat is young.[(triple3)] The cat needs the cow.[(triple4)] The cat visits the cow.[(triple5)] The cow eats the cat.[(triple6)] The cow is cold.[(triple7)] The cow is red.[(triple8)] The cow is round.[(triple9)] The cow is young.[(triple10)] The cow needs the cat.[(triple11)] The cow visits the cat.[(triple12)] @1: The cow needs the cow.[(((triple11 triple4) -> rule1))] @2: The cow is big.[(((((triple11 triple4) -> rule1) triple7) -> rule2))]