The cat is green. The cat likes the lion. The cat likes the rabbit. The cat needs the mouse. The cat visits the mouse. The lion is nice. The lion likes the cat. The lion needs the rabbit. The mouse needs the rabbit. The rabbit visits the lion. If someone likes the cat and the cat visits the lion then they visit the lion. If someone is big and rough then they like the cat. If someone visits the lion and the lion needs the rabbit then they visit the rabbit. If the cat likes the lion then the cat visits the lion. If someone visits the lion then they are red. If someone likes the mouse and they like the rabbit then they visit the lion.
The mouse does not visit the rabbit.
@0: The cat is green.[(triple1)] The cat likes the lion.[(triple2)] The cat likes the rabbit.[(triple3)] The cat needs the mouse.[(triple4)] The cat visits the mouse.[(triple5)] The lion is nice.[(triple6)] The lion likes the cat.[(triple7)] The lion needs the rabbit.[(triple8)] The mouse needs the rabbit.[(triple9)] The rabbit visits the lion.[(triple10)] @1: The cat visits the lion.[(((triple2) -> rule4))] The rabbit is red.[(((triple10) -> rule5))] The rabbit visits the rabbit.[(((triple10 triple8) -> rule3))] @2: The cat is red.[(((((triple2) -> rule4)) -> rule5))] The cat visits the rabbit.[(((((triple2) -> rule4) triple8) -> rule3))] The lion visits the lion.[(((triple7 ((triple2) -> rule4)) -> rule1))] @3: The lion is red.[(((((triple7 ((triple2) -> rule4)) -> rule1)) -> rule5))] The lion visits the rabbit.[(((((triple7 ((triple2) -> rule4)) -> rule1) triple8) -> rule3))]