The cat is blue. The cat is green. The rabbit chases the tiger. The rabbit eats the tiger. The rabbit is blue. The rabbit sees the cat. The tiger chases the cat. The tiger eats the rabbit. The tiger is big. The tiger is green. The tiger is young. The tiger sees the cat. If something is blue and it sees the tiger then the tiger is green. If something is green then it sees the cat. If the tiger is kind then the tiger sees the cat. If something chases the tiger then the tiger chases the rabbit. If something chases the cat and the cat is big then the cat eats the tiger. If something sees the cat and the cat is green then it eats the rabbit.
The tiger is not big.
@0: The cat is blue.[(triple1)] The cat is green.[(triple2)] The rabbit chases the tiger.[(triple3)] The rabbit eats the tiger.[(triple4)] The rabbit is blue.[(triple5)] The rabbit sees the cat.[(triple6)] The tiger chases the cat.[(triple7)] The tiger eats the rabbit.[(triple8 OR ((triple12 triple2) -> rule6) OR ((((triple10) -> rule2) triple2) -> rule6))] The tiger is big.[(triple9)] The tiger is green.[(triple10)] The tiger is young.[(triple11)] The tiger sees the cat.[(triple12 OR ((triple10) -> rule2))] @1: The cat sees the cat.[(((triple2) -> rule2))] The rabbit eats the rabbit.[(((triple6 triple2) -> rule6))] The tiger chases the rabbit.[(((triple3) -> rule4))] @2: The cat eats the rabbit.[(((((triple2) -> rule2) triple2) -> rule6))]