The bear eats the squirrel. The bear is kind. The bear is red. The bear does not need the squirrel. The cow eats the lion. The cow eats the squirrel. The cow visits the lion. The lion eats the bear. The lion eats the cow. The lion is kind. The lion is nice. The lion needs the bear. The lion visits the cow. The squirrel is nice. The squirrel needs the bear. The squirrel visits the bear. If someone is red and they visit the lion then they need the bear. If someone is nice and red then they need the bear. If someone needs the bear then they do not visit the squirrel. If the cow needs the bear then the bear visits the lion. If someone needs the bear and the bear needs the lion then the bear does not visit the lion. If the squirrel visits the cow then the cow does not visit the lion. If someone eats the lion then they are red. If the cow needs the lion then the cow needs the bear. If someone is cold and not red then they are rough.
The squirrel is not red.
@0: The bear does not need the squirrel.[(triple4)] The bear eats the squirrel.[(triple1)] The bear is kind.[(triple2)] The bear is red.[(triple3)] The cow eats the lion.[(triple5)] The cow eats the squirrel.[(triple6)] The cow visits the lion.[(triple7)] The lion eats the bear.[(triple8)] The lion eats the cow.[(triple9)] The lion is kind.[(triple10)] The lion is nice.[(triple11)] The lion needs the bear.[(triple12)] The lion visits the cow.[(triple13)] The squirrel is nice.[(triple14)] The squirrel needs the bear.[(triple15)] The squirrel visits the bear.[(triple16)] @1: The cow is red.[(((triple5) -> rule7))] The lion does not visit the squirrel.[(((triple12) -> rule3))] The squirrel does not visit the squirrel.[(((triple15) -> rule3))] @2: The cow needs the bear.[(((((triple5) -> rule7) triple7) -> rule1))] @3: The bear visits the lion.[(((((((triple5) -> rule7) triple7) -> rule1)) -> rule4))] The cow does not visit the squirrel.[(((((((triple5) -> rule7) triple7) -> rule1)) -> rule3))] @4: The bear needs the bear.[(((triple3 ((((((triple5) -> rule7) triple7) -> rule1)) -> rule4)) -> rule1))] @5: The bear does not visit the squirrel.[(((((triple3 ((((((triple5) -> rule7) triple7) -> rule1)) -> rule4)) -> rule1)) -> rule3))]