The bear eats the squirrel. The bear is big. The bear is blue. The bear likes the squirrel. The bear visits the squirrel. The squirrel eats the bear. The squirrel is not big. The squirrel is blue. The squirrel is not cold. The squirrel is not red. The squirrel likes the bear. The squirrel visits the bear. If someone likes the bear and the bear is big then they are green. If someone is cold and they visit the bear then the bear does not visit the squirrel. Blue, cold people are not red. If someone visits the squirrel and the squirrel visits the bear then the bear is cold. If the bear visits the squirrel and the squirrel does not visit the bear then the bear is cold. If someone likes the squirrel and the squirrel does not like the bear then the bear eats the squirrel.
The bear is cold.
@0: The bear eats the squirrel.[(triple1)] The bear is big.[(triple2)] The bear is blue.[(triple3)] The bear likes the squirrel.[(triple4)] The bear visits the squirrel.[(triple5)] The squirrel eats the bear.[(triple6)] The squirrel is blue.[(triple8)] The squirrel is not big.[(triple7)] The squirrel is not cold.[(triple9)] The squirrel is not red.[(triple10)] The squirrel likes the bear.[(triple11)] The squirrel visits the bear.[(triple12)] @1: The bear is cold.[(((triple5 triple12) -> rule4))] The squirrel is green.[(((triple11 triple2) -> rule1))] @2: The bear is not red.[(((triple3 ((triple5 triple12) -> rule4)) -> rule3))]