The bear is big. The cow is big. The cow is blue. The cow is red. The cow is round. The cow likes the bear. The cow likes the tiger. The cow sees the tiger. The cow visits the bear. The tiger is big. The tiger is red. The tiger likes the cow. The tiger sees the bear. The tiger sees the cow. The tiger visits the bear. The tiger visits the cow. If something likes the bear then it is big. If the cow sees the tiger and the cow visits the bear then the tiger sees the cow. If something is red then it visits the tiger. If the tiger is red and the tiger visits the bear then the tiger visits the cow. If something is round and it visits the cow then the cow sees the bear. If the tiger sees the bear and the bear likes the cow then the cow sees the tiger. If something is blue then it visits the bear. If something likes the cow and it visits the cow then the cow likes the tiger.
The tiger is round.
@0: The bear is big.[(triple1)] The cow is big.[(triple2 OR ((triple6) -> rule1))] The cow is blue.[(triple3)] The cow is red.[(triple4)] The cow is round.[(triple5)] The cow likes the bear.[(triple6)] The cow likes the tiger.[(triple7 OR ((triple12 triple16) -> rule8) OR ((triple12 ((triple11 triple15) -> rule4)) -> rule8))] The cow sees the tiger.[(triple8)] The cow visits the bear.[(triple9 OR ((triple3) -> rule7))] The tiger is big.[(triple10)] The tiger is red.[(triple11)] The tiger likes the cow.[(triple12)] The tiger sees the bear.[(triple13)] The tiger sees the cow.[(triple14 OR ((triple8 triple9) -> rule2) OR ((triple8 ((triple3) -> rule7)) -> rule2))] The tiger visits the bear.[(triple15)] The tiger visits the cow.[(triple16 OR ((triple11 triple15) -> rule4))] @1: The cow visits the tiger.[(((triple4) -> rule3))] The tiger visits the tiger.[(((triple11) -> rule3))]