The cat is blue. The cat is green. The cat is kind. The cat is nice. The cat is rough. The cat likes the tiger. The cat sees the tiger. The cat visits the tiger. The tiger is blue. The tiger is green. The tiger is kind. The tiger is nice. The tiger is rough. The tiger likes the cat. The tiger sees the cat. The tiger visits the cat. If something is green then it visits the cat. If something sees the cat and it likes the tiger then the tiger is green. If something visits the cat and it likes the tiger then it sees the cat.
The tiger does not see the tiger.
@0: The cat is blue.[(triple1)] The cat is green.[(triple2)] The cat is kind.[(triple3)] The cat is nice.[(triple4)] The cat is rough.[(triple5)] The cat likes the tiger.[(triple6)] The cat sees the tiger.[(triple7)] The cat visits the tiger.[(triple8)] The tiger is blue.[(triple9)] The tiger is green.[(triple10 OR ((((((triple2) -> rule1) triple6) -> rule3) triple6) -> rule2))] The tiger is kind.[(triple11)] The tiger is nice.[(triple12)] The tiger is rough.[(triple13)] The tiger likes the cat.[(triple14)] The tiger sees the cat.[(triple15)] The tiger visits the cat.[(triple16 OR ((triple10) -> rule1) OR ((((((((triple2) -> rule1) triple6) -> rule3) triple6) -> rule2)) -> rule1))] @1: The cat visits the cat.[(((triple2) -> rule1))] @2: The cat sees the cat.[(((((triple2) -> rule1) triple6) -> rule3))]