The cow is red. The cow is rough. The cow is round. The cow likes the tiger. The cow needs the tiger. The cow visits the tiger. The tiger is rough. The tiger likes the cow. The tiger needs the cow. The tiger visits the cow. If something visits the cow then the cow needs the tiger. If something needs the tiger and the tiger needs the cow then the cow needs the tiger. If the cow needs the tiger and the cow visits the tiger then the cow likes the tiger. If something needs the tiger and it needs the cow then the tiger is red. If the tiger is big then the tiger visits the cow. If the cow needs the tiger and the cow is round then the tiger is round. If something is big and it likes the cow then it is red. If something is rough then it is big.
The cow is round.
@0: The cow is red.[(triple1)] The cow is rough.[(triple2)] The cow is round.[(triple3)] The cow likes the tiger.[(triple4 OR ((triple5 triple6) -> rule3) OR ((((triple10) -> rule1) triple6) -> rule3) OR ((((((((triple7) -> rule8)) -> rule5)) -> rule1) triple6) -> rule3))] The cow needs the tiger.[(triple5 OR ((triple10) -> rule1) OR ((((((triple7) -> rule8)) -> rule5)) -> rule1))] The cow visits the tiger.[(triple6)] The tiger is rough.[(triple7)] The tiger likes the cow.[(triple8)] The tiger needs the cow.[(triple9)] The tiger visits the cow.[(triple10 OR ((((triple7) -> rule8)) -> rule5))] @1: The cow is big.[(((triple2) -> rule8))] The tiger is big.[(((triple7) -> rule8))] The tiger is round.[(((triple5 triple3) -> rule6) OR ((((triple10) -> rule1) triple3) -> rule6) OR ((((((((triple7) -> rule8)) -> rule5)) -> rule1) triple3) -> rule6))] @2: The tiger is red.[(((((triple7) -> rule8) triple8) -> rule7))]