The bear is red. The bear is rough. The bear likes the squirrel. The bear needs the tiger. The squirrel eats the bear. The squirrel is red. The squirrel likes the bear. The squirrel likes the tiger. The squirrel needs the bear. The squirrel needs the tiger. The tiger is blue. The tiger is cold. The tiger is red. The tiger likes the bear. The tiger likes the squirrel. The tiger needs the bear. If someone eats the tiger and they are cold then they eat the bear. If someone is red then they are nice. If someone eats the squirrel then the squirrel is rough. If the squirrel likes the bear then the squirrel needs the tiger. If someone needs the tiger then the tiger needs the squirrel. If someone needs the squirrel and they like the bear then they eat the tiger. If someone needs the tiger then the tiger is rough. If someone likes the tiger and they eat the squirrel then the tiger is blue.
The tiger eats the tiger.
@0: The bear is red.[(triple1)] The bear is rough.[(triple2)] The bear likes the squirrel.[(triple3)] The bear needs the tiger.[(triple4)] The squirrel eats the bear.[(triple5)] The squirrel is red.[(triple6)] The squirrel likes the bear.[(triple7)] The squirrel likes the tiger.[(triple8)] The squirrel needs the bear.[(triple9)] The squirrel needs the tiger.[(triple10 OR ((triple7) -> rule4))] The tiger is blue.[(triple11)] The tiger is cold.[(triple12)] The tiger is red.[(triple13)] The tiger likes the bear.[(triple14)] The tiger likes the squirrel.[(triple15)] The tiger needs the bear.[(triple16)] @1: The bear is nice.[(((triple1) -> rule2))] The squirrel is nice.[(((triple6) -> rule2))] The tiger is nice.[(((triple13) -> rule2))] The tiger is rough.[(((triple10) -> rule7) OR ((triple4) -> rule7) OR ((((triple7) -> rule4)) -> rule7))] The tiger needs the squirrel.[(((triple10) -> rule5) OR ((triple4) -> rule5) OR ((((triple7) -> rule4)) -> rule5))] @2: The tiger eats the tiger.[(((((triple10) -> rule5) triple14) -> rule6) OR ((((triple4) -> rule5) triple14) -> rule6) OR ((((((triple7) -> rule4)) -> rule5) triple14) -> rule6))] @3: The tiger eats the bear.[(((((((triple10) -> rule5) triple14) -> rule6) triple12) -> rule1) OR ((((((triple4) -> rule5) triple14) -> rule6) triple12) -> rule1) OR ((((((((triple7) -> rule4)) -> rule5) triple14) -> rule6) triple12) -> rule1))]