The cat is green. The cat likes the mouse. The cat visits the mouse. The lion sees the cat. The lion visits the cat. The lion visits the tiger. The mouse likes the lion. The tiger sees the lion. The tiger visits the lion. The tiger visits the mouse. If something sees the cat and the cat is green then the cat is rough. If something sees the cat and it visits the tiger then the cat visits the mouse. If something sees the cat then it sees the lion. If something sees the tiger and it is rough then the tiger visits the cat. If something is young then it sees the lion. If something likes the lion then it likes the tiger.
The mouse does not like the lion.
@0: The cat is green.[(triple1)] The cat likes the mouse.[(triple2)] The cat visits the mouse.[(triple3 OR ((triple4 triple6) -> rule2))] The lion sees the cat.[(triple4)] The lion visits the cat.[(triple5)] The lion visits the tiger.[(triple6)] The mouse likes the lion.[(triple7)] The tiger sees the lion.[(triple8)] The tiger visits the lion.[(triple9)] The tiger visits the mouse.[(triple10)] @1: The cat is rough.[(((triple4 triple1) -> rule1))] The lion sees the lion.[(((triple4) -> rule3))] The mouse likes the tiger.[(((triple7) -> rule6))]