The cat sees the tiger. The cow chases the rabbit. The cow is blue. The cow is red. The cow likes the rabbit. The rabbit chases the cow. The rabbit is blue. The rabbit is kind. The rabbit likes the cow. The rabbit sees the cow. The tiger chases the cat. The tiger is blue. The tiger is young. The tiger likes the rabbit. The tiger sees the cat. If something sees the cat and it is blue then it is kind. If something is kind and young then it sees the tiger.
The rabbit sees the cat.
@0: The cat sees the tiger.[(triple1)] The cow chases the rabbit.[(triple2)] The cow is blue.[(triple3)] The cow is red.[(triple4)] The cow likes the rabbit.[(triple5)] The rabbit chases the cow.[(triple6)] The rabbit is blue.[(triple7)] The rabbit is kind.[(triple8)] The rabbit likes the cow.[(triple9)] The rabbit sees the cow.[(triple10)] The tiger chases the cat.[(triple11)] The tiger is blue.[(triple12)] The tiger is young.[(triple13)] The tiger likes the rabbit.[(triple14)] The tiger sees the cat.[(triple15)] @1: The tiger is kind.[(((triple15 triple12) -> rule1))] @2: The tiger sees the tiger.[(((((triple15 triple12) -> rule1) triple13) -> rule2))]