The bear is nice. The bear likes the lion. The bear likes the squirrel. The bear needs the lion. The bear needs the squirrel. The lion is cold. The squirrel eats the bear. The squirrel eats the lion. The squirrel is round. The squirrel likes the bear. The squirrel needs the bear. The squirrel needs the lion. If someone is round and they eat the lion then the lion is nice. If someone needs the bear and they need the squirrel then they are rough. If someone eats the lion then they are cold. If the squirrel is nice then the squirrel is cold. If someone is kind then they need the squirrel. If someone likes the bear and they eat the lion then they are kind. If someone eats the squirrel and the squirrel likes the bear then they eat the bear. If someone is cold then they need the bear.
The bear does not eat the lion.
@0: The bear is nice.[(triple1)] The bear likes the lion.[(triple2)] The bear likes the squirrel.[(triple3)] The bear needs the lion.[(triple4)] The bear needs the squirrel.[(triple5)] The lion is cold.[(triple6)] The squirrel eats the bear.[(triple7)] The squirrel eats the lion.[(triple8)] The squirrel is round.[(triple9)] The squirrel likes the bear.[(triple10)] The squirrel needs the bear.[(triple11 OR ((((triple8) -> rule3)) -> rule8))] The squirrel needs the lion.[(triple12)] @1: The lion is nice.[(((triple9 triple8) -> rule1))] The lion needs the bear.[(((triple6) -> rule8))] The squirrel is cold.[(((triple8) -> rule3))] The squirrel is kind.[(((triple10 triple8) -> rule6))] @2: The squirrel needs the squirrel.[(((((triple10 triple8) -> rule6)) -> rule5))] @3: The squirrel is rough.[(((triple11 ((((triple10 triple8) -> rule6)) -> rule5)) -> rule2) OR ((((((triple8) -> rule3)) -> rule8) ((((triple10 triple8) -> rule6)) -> rule5)) -> rule2))]