The bear chases the tiger. The bear is kind. The bear is nice. The bear is rough. The bear is round. The bear likes the tiger. The bear visits the tiger. The tiger chases the bear. The tiger is rough. The tiger is round. The tiger likes the bear. The tiger visits the bear. If something chases the bear and it likes the tiger then the bear visits the tiger. If something is nice and it likes the bear then it chases the tiger. All rough things are big. If something visits the bear and the bear visits the tiger then the bear likes the tiger. If something likes the bear and the bear visits the tiger then it visits the bear. If the tiger visits the bear and the tiger chases the bear then the bear visits the tiger.
The tiger visits the tiger.
@0: The bear chases the tiger.[(triple1)] The bear is kind.[(triple2)] The bear is nice.[(triple3)] The bear is rough.[(triple4)] The bear is round.[(triple5)] The bear likes the tiger.[(triple6 OR ((triple12 triple7) -> rule4) OR ((triple12 ((triple12 triple8) -> rule6)) -> rule4) OR ((((triple11 triple7) -> rule5) triple7) -> rule4) OR ((((triple11 triple7) -> rule5) ((triple12 triple8) -> rule6)) -> rule4))] The bear visits the tiger.[(triple7 OR ((triple12 triple8) -> rule6))] The tiger chases the bear.[(triple8)] The tiger is rough.[(triple9)] The tiger is round.[(triple10)] The tiger likes the bear.[(triple11)] The tiger visits the bear.[(triple12 OR ((triple11 triple7) -> rule5))] @1: The bear is big.[(((triple4) -> rule3))] The tiger is big.[(((triple9) -> rule3))]