The bear is big. The bear is green. The bear is nice. The bear is red. The bear likes the tiger. The bear needs the tiger. The bear visits the tiger. The tiger is big. The tiger is cold. The tiger is green. The tiger is nice. The tiger is red. The tiger likes the bear. The tiger needs the bear. The tiger visits the bear. If something is green then it likes the tiger. If something likes the tiger and the tiger is nice then it visits the tiger.
The tiger does not visit the tiger.
@0: The bear is big.[(triple1)] The bear is green.[(triple2)] The bear is nice.[(triple3)] The bear is red.[(triple4)] The bear likes the tiger.[(triple5 OR ((triple2) -> rule1))] The bear needs the tiger.[(triple6)] The bear visits the tiger.[(triple7 OR ((triple5 triple11) -> rule2) OR ((((triple2) -> rule1) triple11) -> rule2))] The tiger is big.[(triple8)] The tiger is cold.[(triple9)] The tiger is green.[(triple10)] The tiger is nice.[(triple11)] The tiger is red.[(triple12)] The tiger likes the bear.[(triple13)] The tiger needs the bear.[(triple14)] The tiger visits the bear.[(triple15)] @1: The tiger likes the tiger.[(((triple10) -> rule1))] @2: The tiger visits the tiger.[(((((triple10) -> rule1) triple11) -> rule2))]