The bear is big. The bear is nice. The bear sees the squirrel. The bear visits the squirrel. The cow eats the squirrel. The cow is big. The cow sees the bear. The cow visits the squirrel. The rabbit eats the bear. The rabbit visits the cow. The squirrel eats the rabbit. The squirrel sees the rabbit. If someone is cold then they eat the bear. If someone visits the cow then they see the cow. If someone is kind then they eat the squirrel. If someone visits the bear then they are cold. If someone sees the squirrel and they are nice then they visit the cow. If someone visits the squirrel and the squirrel is green then they are green. If someone eats the cow and they visit the squirrel then the squirrel eats the cow. If someone visits the cow then they are kind.
The squirrel is cold.
@0: The bear is big.[(triple1)] The bear is nice.[(triple2)] The bear sees the squirrel.[(triple3)] The bear visits the squirrel.[(triple4)] The cow eats the squirrel.[(triple5)] The cow is big.[(triple6)] The cow sees the bear.[(triple7)] The cow visits the squirrel.[(triple8)] The rabbit eats the bear.[(triple9)] The rabbit visits the cow.[(triple10)] The squirrel eats the rabbit.[(triple11)] The squirrel sees the rabbit.[(triple12)] @1: The bear visits the cow.[(((triple3 triple2) -> rule5))] The rabbit is kind.[(((triple10) -> rule8))] The rabbit sees the cow.[(((triple10) -> rule2))] @2: The bear is kind.[(((((triple3 triple2) -> rule5)) -> rule8))] The bear sees the cow.[(((((triple3 triple2) -> rule5)) -> rule2))] The rabbit eats the squirrel.[(((((triple10) -> rule8)) -> rule3))] @3: The bear eats the squirrel.[(((((((triple3 triple2) -> rule5)) -> rule8)) -> rule3))]