The cow is rough. The cow likes the tiger. The cow sees the tiger. The tiger is big. The tiger is blue. The tiger is red. The tiger is rough. The tiger likes the cow. The tiger sees the cow. The tiger visits the cow. If the cow is big and the cow is nice then the cow is red. If the cow is big and the cow sees the tiger then the cow likes the tiger. If someone visits the tiger then the tiger sees the cow. If someone sees the cow and the cow sees the tiger then they are red. If someone sees the cow then they like the cow. If the tiger visits the cow and the tiger likes the cow then the cow is blue. If someone visits the tiger and they are red then they like the cow. If the tiger sees the cow then the cow is big.
The tiger visits the cow.
@0: The cow is rough.[(triple1)] The cow likes the tiger.[(triple2 OR ((((triple9) -> rule8) triple3) -> rule2))] The cow sees the tiger.[(triple3)] The tiger is big.[(triple4)] The tiger is blue.[(triple5)] The tiger is red.[(triple6 OR ((triple9 triple3) -> rule4))] The tiger is rough.[(triple7)] The tiger likes the cow.[(triple8 OR ((triple9) -> rule5))] The tiger sees the cow.[(triple9)] The tiger visits the cow.[(triple10)] @1: The cow is big.[(((triple9) -> rule8))] The cow is blue.[(((triple10 triple8) -> rule6) OR ((triple10 ((triple9) -> rule5)) -> rule6))]