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