The bear chases the tiger. The bear eats the tiger. The bear is big. The bear is green. The bear is kind. The bear is nice. The bear is round. The bear needs the tiger. The tiger chases the bear. The tiger eats the bear. The tiger is big. The tiger is green. The tiger is kind. The tiger is nice. The tiger is round. The tiger needs the bear. If someone needs the tiger and the tiger is kind then they are kind. If someone needs the bear and the bear eats the tiger then the bear needs the tiger. All green, kind people are nice. If the bear is round and the bear is green then the bear needs the tiger. If someone needs the tiger then the tiger is big. If someone eats the tiger then they need the bear. If someone needs the tiger then they are nice. If someone is round then they chase the bear.
The bear is round.
@0: The bear chases the tiger.[(triple1)] The bear eats the tiger.[(triple2)] The bear is big.[(triple3)] The bear is green.[(triple4)] The bear is kind.[(triple5 OR ((triple8 triple13) -> rule1) OR ((((triple16 triple2) -> rule2) triple13) -> rule1) OR ((((triple7 triple4) -> rule4) triple13) -> rule1) OR ((((((triple2) -> rule6) triple2) -> rule2) triple13) -> rule1))] The bear is nice.[(triple6 OR ((triple8) -> rule7) OR ((triple4 triple5) -> rule3) OR ((((triple16 triple2) -> rule2)) -> rule7) OR ((((triple7 triple4) -> rule4)) -> rule7) OR ((triple4 ((triple8 triple13) -> rule1)) -> rule3) OR ((((((triple2) -> rule6) triple2) -> rule2)) -> rule7) OR ((triple4 ((((triple16 triple2) -> rule2) triple13) -> rule1)) -> rule3) OR ((triple4 ((((triple7 triple4) -> rule4) triple13) -> rule1)) -> rule3) OR ((triple4 ((((((triple2) -> rule6) triple2) -> rule2) triple13) -> rule1)) -> rule3))] The bear is round.[(triple7)] The bear needs the tiger.[(triple8 OR ((triple16 triple2) -> rule2) OR ((triple7 triple4) -> rule4) OR ((((triple2) -> rule6) triple2) -> rule2))] The tiger chases the bear.[(triple9 OR ((triple15) -> rule8))] The tiger eats the bear.[(triple10)] The tiger is big.[(triple11 OR ((triple8) -> rule5) OR ((((triple16 triple2) -> rule2)) -> rule5) OR ((((triple7 triple4) -> rule4)) -> rule5) OR ((((((triple2) -> rule6) triple2) -> rule2)) -> rule5))] The tiger is green.[(triple12)] The tiger is kind.[(triple13)] The tiger is nice.[(triple14 OR ((triple12 triple13) -> rule3))] The tiger is round.[(triple15)] The tiger needs the bear.[(triple16)] @1: The bear chases the bear.[(((triple7) -> rule8))] The bear needs the bear.[(((triple2) -> rule6))]