The cow chases the tiger. The cow eats the tiger. The cow is green. The cow is kind. The cow sees the tiger. The tiger chases the cow. The tiger eats the cow. The tiger is cold. The tiger is green. The tiger sees the cow. If someone eats the tiger and the tiger chases the cow then they see the cow. If someone is green and they eat the tiger then the tiger chases the cow. If someone eats the cow and the cow eats the tiger then the cow chases the tiger. If someone eats the cow and they eat the tiger then they are cold. If the tiger sees the cow then the cow chases the tiger. If the tiger is blue and the tiger is cold then the tiger is green.
The tiger chases the tiger.
@0: The cow chases the tiger.[(triple1 OR ((triple10) -> rule5) OR ((triple7 triple2) -> rule3))] The cow eats the tiger.[(triple2)] The cow is green.[(triple3)] The cow is kind.[(triple4)] The cow sees the tiger.[(triple5)] The tiger chases the cow.[(triple6 OR ((triple3 triple2) -> rule2))] The tiger eats the cow.[(triple7)] The tiger is cold.[(triple8)] The tiger is green.[(triple9)] The tiger sees the cow.[(triple10)] @1: The cow sees the cow.[(((triple2 triple6) -> rule1) OR ((triple2 ((triple3 triple2) -> rule2)) -> rule1))]