The cat chases the tiger. The cat eats the tiger. The cat is green. The cat is nice. The cat is red. The cat is round. The cat is not young. The cat sees the tiger. The tiger chases the cat. The tiger eats the cat. The tiger is green. The tiger is nice. The tiger is red. The tiger is round. The tiger is not young. The tiger does not see the cat. If something eats the cat and the cat eats the tiger then the cat is green. If something eats the cat and it does not eat the tiger then it sees the cat. If something chases the tiger then the tiger is round.
The cat eats the tiger.
@0: The cat chases the tiger.[(triple1)] The cat eats the tiger.[(triple2)] The cat is green.[(triple3 OR ((triple10 triple2) -> rule1))] The cat is nice.[(triple4)] The cat is not young.[(triple7)] The cat is red.[(triple5)] The cat is round.[(triple6)] The cat sees the tiger.[(triple8)] The tiger chases the cat.[(triple9)] The tiger does not see the cat.[(triple16)] The tiger eats the cat.[(triple10)] The tiger is green.[(triple11)] The tiger is nice.[(triple12)] The tiger is not young.[(triple15)] The tiger is red.[(triple13)] The tiger is round.[(triple14 OR ((triple1) -> rule3))]