The bear is blue. The bear visits the tiger. The tiger visits the bear. If someone chases the bear and the bear is young then the bear is kind. If someone visits the tiger and they chase the bear then the bear is blue. If the bear visits the tiger then the bear chases the tiger. If someone chases the tiger then the tiger is big. If someone chases the tiger and they see the tiger then the tiger is big. If someone sees the bear then the bear does not visit the tiger. If someone visits the bear then the bear visits the tiger. If the bear is not kind then the bear visits the tiger.
The bear does not chase the tiger.
@0: The bear is blue.[(triple1)] The bear visits the tiger.[(triple2 OR ((triple3) -> rule7))] The tiger visits the bear.[(triple3)] @1: The bear chases the tiger.[(((triple2) -> rule3) OR ((((triple3) -> rule7)) -> rule3))] @2: The tiger is big.[(((((triple2) -> rule3)) -> rule4) OR ((((((triple3) -> rule7)) -> rule3)) -> rule4))]