The bear likes the cow. The bear sees the lion. The bear visits the squirrel. The cow likes the squirrel. The cow sees the lion. The lion is not big. The lion sees the bear. The lion sees the squirrel. The squirrel is not big. The squirrel is not rough. The squirrel sees the lion. The squirrel visits the bear. If someone visits the squirrel then the squirrel likes the lion. If someone likes the lion and the lion is red then the lion likes the cow. If someone visits the cow and they do not see the cow then they see the squirrel. If someone likes the lion then they like the cow. If someone visits the lion then they are red. If someone likes the cow then they are not red. If someone visits the bear then they do not like the bear. If someone sees the lion and they are big then the lion does not like the squirrel.
The bear sees the lion.
@0: The bear likes the cow.[(triple1)] The bear sees the lion.[(triple2)] The bear visits the squirrel.[(triple3)] The cow likes the squirrel.[(triple4)] The cow sees the lion.[(triple5)] The lion is not big.[(triple6)] The lion sees the bear.[(triple7)] The lion sees the squirrel.[(triple8)] The squirrel is not big.[(triple9)] The squirrel is not rough.[(triple10)] The squirrel sees the lion.[(triple11)] The squirrel visits the bear.[(triple12)] @1: The bear is not red.[(((triple1) -> rule6))] The squirrel does not like the bear.[(((triple12) -> rule7))] The squirrel likes the lion.[(((triple3) -> rule1))] @2: The squirrel likes the cow.[(((((triple3) -> rule1)) -> rule4))] @3: The squirrel is not red.[(((((((triple3) -> rule1)) -> rule4)) -> rule6))]