The bear is big. The bear is blue. The bear is green. The bear is round. The bear is young. The bear needs the tiger. The bear visits the tiger. The tiger is round. The tiger likes the bear. The tiger visits the bear. If something is round and it needs the bear then it is green. If the bear needs the tiger and the tiger visits the bear then the bear visits the tiger. If something is round then it likes the bear. If the bear visits the tiger and the bear is round then the bear needs the tiger. If something needs the tiger and the tiger is big then the tiger likes the bear. If something is blue and it visits the bear then it is green. If something visits the bear then it needs the bear. If something is green and it needs the bear then the bear needs the tiger.
The tiger is not young.
@0: The bear is big.[(triple1)] The bear is blue.[(triple2)] The bear is green.[(triple3)] The bear is round.[(triple4)] The bear is young.[(triple5)] The bear needs the tiger.[(triple6 OR ((triple7 triple4) -> rule4) OR ((((triple8 ((triple10) -> rule7)) -> rule1) ((triple10) -> rule7)) -> rule8))] The bear visits the tiger.[(triple7 OR ((triple6 triple10) -> rule2) OR ((((((triple8 ((triple10) -> rule7)) -> rule1) ((triple10) -> rule7)) -> rule8) triple10) -> rule2))] The tiger is round.[(triple8)] The tiger likes the bear.[(triple9 OR ((triple8) -> rule3))] The tiger visits the bear.[(triple10)] @1: The bear likes the bear.[(((triple4) -> rule3))] The tiger needs the bear.[(((triple10) -> rule7))] @2: The tiger is green.[(((triple8 ((triple10) -> rule7)) -> rule1))]