The bear chases the tiger. The bear is big. The bear likes the tiger. The bear visits the tiger. The tiger chases the bear. The tiger is big. The tiger is cold. The tiger is kind. The tiger is rough. The tiger visits the bear. If someone visits the bear then the bear is rough. If someone visits the tiger and they like the bear then the bear likes the tiger. If someone is kind and they chase the tiger then they like the tiger. If someone is rough then they chase the tiger. If the tiger visits the bear and the bear likes the tiger then the tiger is cold. If someone is big and they visit the tiger then the tiger likes the bear. If someone visits the bear and they visit the tiger then the tiger is big. If someone chases the tiger and they like the tiger then they chase the bear.
The tiger is rough.
@0: The bear chases the tiger.[(triple1 OR ((((triple10) -> rule1)) -> rule4))] The bear is big.[(triple2)] The bear likes the tiger.[(triple3)] The bear visits the tiger.[(triple4)] The tiger chases the bear.[(triple5 OR ((((triple9) -> rule4) ((triple8 ((triple9) -> rule4)) -> rule3)) -> rule8))] The tiger is big.[(triple6)] The tiger is cold.[(triple7 OR ((triple10 triple3) -> rule5))] The tiger is kind.[(triple8)] The tiger is rough.[(triple9)] The tiger visits the bear.[(triple10)] @1: The bear chases the bear.[(((triple1 triple3) -> rule8) OR ((((((triple10) -> rule1)) -> rule4) triple3) -> rule8))] The bear is rough.[(((triple10) -> rule1))] The tiger chases the tiger.[(((triple9) -> rule4))] The tiger likes the bear.[(((triple2 triple4) -> rule6))] @2: The tiger likes the tiger.[(((triple8 ((triple9) -> rule4)) -> rule3))]