The cat is not rough. The cow is big. The lion likes the cat. The tiger does not see the lion. If something likes the tiger and it likes the cow then the cow likes the lion. If something visits the cat then the cat does not see the lion. If something likes the cat then it does not visit the cow. If something is blue then it visits the cow. If the cat sees the lion and the cat is not big then the cat is rough. If something likes the cat then the cat is red. If something visits the cow then it sees the tiger. If something is red then it visits the cat.
The cat does not like the cat.
@0: The cat is not rough.[(triple1)] The cow is big.[(triple2)] The lion likes the cat.[(triple3)] The tiger does not see the lion.[(triple4)] @1: The cat is red.[(((triple3) -> rule6))] The lion does not visit the cow.[(((triple3) -> rule3))] @2: The cat visits the cat.[(((((triple3) -> rule6)) -> rule8))] @3: The cat does not see the lion.[(((((((triple3) -> rule6)) -> rule8)) -> rule2))]