The bear visits the cow. The cow eats the bear. The lion eats the squirrel. The lion is cold. The lion is red. The lion does not visit the bear. The squirrel is red. If someone is rough then they chase the squirrel. If someone is red and they chase the squirrel then the squirrel visits the bear. If the cow is kind then the cow does not eat the squirrel. If someone is red and they visit the bear then the bear is red. If someone is red then they are rough. If someone visits the bear then they are rough. If someone visits the cow then the cow chases the bear. If the lion visits the bear and the lion does not visit the squirrel then the squirrel is not red. If someone eats the lion and the lion is green then they visit the lion.
The squirrel visits the bear.
@0: The bear visits the cow.[(triple1)] The cow eats the bear.[(triple2)] The lion does not visit the bear.[(triple6)] The lion eats the squirrel.[(triple3)] The lion is cold.[(triple4)] The lion is red.[(triple5)] The squirrel is red.[(triple7)] @1: The cow chases the bear.[(((triple1) -> rule7))] The lion is rough.[(((triple5) -> rule5))] The squirrel is rough.[(((triple7) -> rule5) OR ((((triple5 ((((triple5) -> rule5)) -> rule1)) -> rule2)) -> rule6))] @2: The lion chases the squirrel.[(((((triple5) -> rule5)) -> rule1))] The squirrel chases the squirrel.[(((((triple7) -> rule5)) -> rule1) OR ((((((triple5 ((((triple5) -> rule5)) -> rule1)) -> rule2)) -> rule6)) -> rule1))] @3: The squirrel visits the bear.[(((triple5 ((((triple5) -> rule5)) -> rule1)) -> rule2) OR ((triple7 ((((triple7) -> rule5)) -> rule1)) -> rule2))] @4: The bear is red.[(((triple7 ((triple5 ((((triple5) -> rule5)) -> rule1)) -> rule2)) -> rule4) OR ((triple7 ((triple7 ((((triple7) -> rule5)) -> rule1)) -> rule2)) -> rule4))] @5: The bear is rough.[(((((triple7 ((triple5 ((((triple5) -> rule5)) -> rule1)) -> rule2)) -> rule4)) -> rule5) OR ((((triple7 ((triple7 ((((triple7) -> rule5)) -> rule1)) -> rule2)) -> rule4)) -> rule5))] @6: The bear chases the squirrel.[(((((((triple7 ((triple5 ((((triple5) -> rule5)) -> rule1)) -> rule2)) -> rule4)) -> rule5)) -> rule1) OR ((((((triple7 ((triple7 ((((triple7) -> rule5)) -> rule1)) -> rule2)) -> rule4)) -> rule5)) -> rule1))]