The cow is rough. The cow visits the tiger. The lion is big. The lion is cold. The lion is rough. The lion likes the cow. The lion sees the tiger. The lion visits the cow. The tiger is round. The tiger likes the lion. The tiger sees the cow. The tiger visits the cow. If something visits the tiger and the tiger visits the cow then the tiger likes the cow. If something visits the tiger then it likes the cow. If something likes the cow then it visits the tiger. If something visits the tiger and it visits the lion then it sees the lion. If something likes the cow then it is round. If the cow is young then the cow is round. If something likes the cow and it visits the cow then the cow likes the tiger. If something sees the lion then the lion likes the tiger.
The tiger visits the lion.
@0: The cow is rough.[(triple1)] The cow visits the tiger.[(triple2)] The lion is big.[(triple3)] The lion is cold.[(triple4)] The lion is rough.[(triple5)] The lion likes the cow.[(triple6)] The lion sees the tiger.[(triple7)] The lion visits the cow.[(triple8)] The tiger is round.[(triple9 OR ((((triple2 triple12) -> rule1)) -> rule5) OR ((((((triple6) -> rule3) triple12) -> rule1)) -> rule5))] The tiger likes the lion.[(triple10)] The tiger sees the cow.[(triple11)] The tiger visits the cow.[(triple12)] @1: The cow likes the cow.[(((triple2) -> rule2))] The cow likes the tiger.[(((triple6 triple8) -> rule7) OR ((((triple2 triple12) -> rule1) triple12) -> rule7) OR ((((((triple6) -> rule3) triple12) -> rule1) triple12) -> rule7))] The lion is round.[(((triple6) -> rule5))] The lion visits the tiger.[(((triple6) -> rule3))] The tiger likes the cow.[(((triple2 triple12) -> rule1) OR ((((triple6) -> rule3) triple12) -> rule1))] @2: The cow is round.[(((((triple2) -> rule2)) -> rule5))] The tiger visits the tiger.[(((((triple2 triple12) -> rule1)) -> rule3) OR ((((((triple6) -> rule3) triple12) -> rule1)) -> rule3))]