The bear chases the tiger. The bear is blue. The bear is cold. The bear is nice. The bear is red. The bear is rough. The bear sees the tiger. The bear visits the tiger. The tiger chases the bear. The tiger is cold. The tiger is nice. The tiger is red. The tiger is rough. The tiger sees the bear. The tiger visits the bear. If someone visits the tiger then they are rough. If someone is red and they chase the bear then they see the bear. If someone chases the tiger then they are cold. If someone is rough and they visit the tiger then the tiger chases the bear. If someone visits the bear and the bear chases the tiger then the bear is rough. If someone sees the tiger and the tiger visits the bear then the tiger sees the bear.
The tiger is rough.
@0: The bear chases the tiger.[(triple1)] The bear is blue.[(triple2)] The bear is cold.[(triple3 OR ((triple1) -> rule3))] The bear is nice.[(triple4)] The bear is red.[(triple5)] The bear is rough.[(triple6 OR ((triple8) -> rule1) OR ((triple15 triple1) -> rule5))] The bear sees the tiger.[(triple7)] The bear visits the tiger.[(triple8)] The tiger chases the bear.[(triple9 OR ((triple6 triple8) -> rule4) OR ((((triple8) -> rule1) triple8) -> rule4) OR ((((triple15 triple1) -> rule5) triple8) -> rule4))] The tiger is cold.[(triple10)] The tiger is nice.[(triple11)] The tiger is red.[(triple12)] The tiger is rough.[(triple13)] The tiger sees the bear.[(triple14 OR ((triple12 triple9) -> rule2) OR ((triple7 triple15) -> rule6) OR ((triple12 ((triple6 triple8) -> rule4)) -> rule2) OR ((triple12 ((((triple8) -> rule1) triple8) -> rule4)) -> rule2) OR ((triple12 ((((triple15 triple1) -> rule5) triple8) -> rule4)) -> rule2))] The tiger visits the bear.[(triple15)]