The cat is red. The lion is red. The mouse is nice. If the lion likes the cat then the lion is blue. If the cat sees the mouse then the cat likes the mouse. If someone likes the lion then they like the cat. If someone is green and they like the lion then the lion visits the mouse. If the mouse is blue then the mouse visits the cat. If someone visits the lion then the lion visits the cat. If someone is red then they like the lion. If someone is red and not blue then they are nice.
The lion does not visit the mouse.
@0: The cat is red.[(triple1)] The lion is red.[(triple2)] The mouse is nice.[(triple3)] @1: The cat likes the lion.[(((triple1) -> rule7))] The lion likes the lion.[(((triple2) -> rule7))] @2: The cat likes the cat.[(((((triple1) -> rule7)) -> rule3))] The lion likes the cat.[(((((triple2) -> rule7)) -> rule3))] @3: The lion is blue.[(((((((triple2) -> rule7)) -> rule3)) -> rule1))]