The cat is blue. The cat is nice. The cat likes the dog. The cat likes the lion. The cat sees the dog. The cat sees the lion. The dog is nice. The dog likes the cat. The dog sees the cat. The lion sees the dog. Green, nice things are rough. If the lion likes the cat then the cat sees the dog. If the cat likes the dog then the cat visits the lion. If something is nice and it visits the lion then the lion is red. If something visits the cat then it visits the dog. If something sees the cat then the cat is nice. If something visits the dog then the dog visits the lion. If something sees the dog then the dog visits the cat.
The dog visits the dog.
@0: The cat is blue.[(triple1)] The cat is nice.[(triple2 OR ((triple9) -> rule6))] The cat likes the dog.[(triple3)] The cat likes the lion.[(triple4)] The cat sees the dog.[(triple5)] The cat sees the lion.[(triple6)] The dog is nice.[(triple7)] The dog likes the cat.[(triple8)] The dog sees the cat.[(triple9)] The lion sees the dog.[(triple10)] @1: The cat visits the lion.[(((triple3) -> rule3))] The dog visits the cat.[(((triple10) -> rule8) OR ((triple5) -> rule8))] @2: The dog visits the dog.[(((((triple10) -> rule8)) -> rule5) OR ((((triple5) -> rule8)) -> rule5))] The lion is red.[(((triple2 ((triple3) -> rule3)) -> rule4) OR ((((triple9) -> rule6) ((triple3) -> rule3)) -> rule4) OR ((triple7 ((((((triple10) -> rule8)) -> rule5)) -> rule7)) -> rule4) OR ((triple7 ((((((triple5) -> rule8)) -> rule5)) -> rule7)) -> rule4))] @3: The dog visits the lion.[(((((((triple10) -> rule8)) -> rule5)) -> rule7) OR ((((((triple5) -> rule8)) -> rule5)) -> rule7))]