The cat is big. The cat is red. The cat likes the cow. The cat needs the cow. The cat visits the lion. The cow is nice. The cow likes the lion. The cow needs the cat. The cow needs the lion. The lion is nice. The lion likes the cow. The lion visits the cow. If someone needs the cat then the cat needs the lion. If someone needs the cow and they are red then they like the cat. If someone needs the cow then the cow likes the cat. If someone needs the lion and the lion likes the cow then the lion needs the cat. If someone is big then they are young. If someone needs the cow and the cow likes the cat then they visit the cat. If someone likes the cow then the cow is big. If someone likes the cow then the cow visits the lion.
The cow is young.
@0: The cat is big.[(triple1)] The cat is red.[(triple2)] The cat likes the cow.[(triple3)] The cat needs the cow.[(triple4)] The cat visits the lion.[(triple5)] The cow is nice.[(triple6)] The cow likes the lion.[(triple7)] The cow needs the cat.[(triple8)] The cow needs the lion.[(triple9)] The lion is nice.[(triple10)] The lion likes the cow.[(triple11)] The lion visits the cow.[(triple12)] @1: The cat is young.[(((triple1) -> rule5))] The cat likes the cat.[(((triple4 triple2) -> rule2))] The cat needs the lion.[(((triple8) -> rule1) OR ((((triple9 triple11) -> rule4)) -> rule1))] The cow is big.[(((triple11) -> rule7) OR ((triple3) -> rule7))] The cow likes the cat.[(((triple4) -> rule3))] The cow visits the lion.[(((triple11) -> rule8) OR ((triple3) -> rule8))] The lion needs the cat.[(((triple9 triple11) -> rule4) OR ((((triple8) -> rule1) triple11) -> rule4))] @2: The cat visits the cat.[(((triple4 ((triple4) -> rule3)) -> rule6))] The cow is young.[(((((triple11) -> rule7)) -> rule5) OR ((((triple3) -> rule7)) -> rule5))]