The cat is rough. The cat is young. The cat likes the cow. The cat likes the lion. The cat needs the cow. The cow likes the lion. The lion is green. The lion is rough. The lion needs the cat. The lion visits the cow. If someone likes the cow and the cow is young then they are rough. If someone likes the lion then they need the lion. If the cat is green and the cat is blue then the cat is red. If the cow visits the cat and the cow likes the cat then the cow is blue. If someone needs the lion then the lion likes the cat. If someone likes the cow and they like the cat then the cat visits the cow.
The cat is rough.
@0: The cat is rough.[(triple1)] The cat is young.[(triple2)] The cat likes the cow.[(triple3)] The cat likes the lion.[(triple4)] The cat needs the cow.[(triple5)] The cow likes the lion.[(triple6)] The lion is green.[(triple7)] The lion is rough.[(triple8)] The lion needs the cat.[(triple9)] The lion visits the cow.[(triple10)] @1: The cat needs the lion.[(((triple4) -> rule2))] The cow needs the lion.[(((triple6) -> rule2))] @2: The lion likes the cat.[(((((triple4) -> rule2)) -> rule5) OR ((((triple6) -> rule2)) -> rule5))]