The cat chases the tiger. The cat is blue. The cat is nice. The cat is young. The cat sees the tiger. The tiger chases the cat. The tiger is green. The tiger is nice. The tiger likes the cat. The tiger sees the cat. If someone sees the cat then they chase the cat. If someone likes the cat and the cat sees the tiger then they see the tiger. If someone sees the tiger then they like the tiger. If someone is young then they are nice. If someone chases the cat and they are young then the cat is young. If someone likes the tiger then they are rough. If someone likes the tiger and they chase the tiger then the tiger is blue. If the cat does not like the tiger and the cat is not young then the cat is blue.
The cat likes the cat.
@0: The cat chases the tiger.[(triple1)] The cat is blue.[(triple2)] The cat is nice.[(triple3 OR ((triple4) -> rule4))] The cat is young.[(triple4)] The cat sees the tiger.[(triple5)] The tiger chases the cat.[(triple6 OR ((triple10) -> rule1))] The tiger is green.[(triple7)] The tiger is nice.[(triple8)] The tiger likes the cat.[(triple9)] The tiger sees the cat.[(triple10)] @1: The cat likes the tiger.[(((triple5) -> rule3))] The tiger sees the tiger.[(((triple9 triple5) -> rule2))] @2: The cat is rough.[(((((triple5) -> rule3)) -> rule6))] The tiger is blue.[(((((triple5) -> rule3) triple1) -> rule7))] The tiger likes the tiger.[(((((triple9 triple5) -> rule2)) -> rule3))] @3: The tiger is rough.[(((((((triple9 triple5) -> rule2)) -> rule3)) -> rule6))]