The bear chases the rabbit. The bear is young. The bear sees the cow. The cow sees the bear. The cow sees the rabbit. The rabbit is red. The squirrel chases the cow. If someone is kind then they visit the cow. If someone chases the squirrel then the squirrel visits the cow. Young people are kind. If someone visits the bear then they see the squirrel. If someone chases the squirrel then the squirrel visits the cow. If someone visits the rabbit then the rabbit visits the cow. If someone is young then they visit the rabbit. If someone visits the cow then the cow is young. If someone is red then they visit the squirrel.
The cow sees the squirrel.
@0: The bear chases the rabbit.[(triple1)] The bear is young.[(triple2)] The bear sees the cow.[(triple3)] The cow sees the bear.[(triple4)] The cow sees the rabbit.[(triple5)] The rabbit is red.[(triple6)] The squirrel chases the cow.[(triple7)] @1: The bear is kind.[(((triple2) -> rule3))] The bear visits the rabbit.[(((triple2) -> rule7))] The rabbit visits the squirrel.[(((triple6) -> rule9))] @2: The bear visits the cow.[(((((triple2) -> rule3)) -> rule1))] The rabbit visits the cow.[(((((triple2) -> rule7)) -> rule6) OR ((((((((((triple2) -> rule3)) -> rule1)) -> rule8)) -> rule7)) -> rule6))] @3: The cow is young.[(((((((triple2) -> rule3)) -> rule1)) -> rule8) OR ((((((triple2) -> rule7)) -> rule6)) -> rule8))] @4: The cow is kind.[(((((((((triple2) -> rule3)) -> rule1)) -> rule8)) -> rule3) OR ((((((((triple2) -> rule7)) -> rule6)) -> rule8)) -> rule3))] The cow visits the rabbit.[(((((((((triple2) -> rule3)) -> rule1)) -> rule8)) -> rule7) OR ((((((((triple2) -> rule7)) -> rule6)) -> rule8)) -> rule7))] @5: The cow visits the cow.[(((((((((((triple2) -> rule3)) -> rule1)) -> rule8)) -> rule3)) -> rule1) OR ((((((((((triple2) -> rule7)) -> rule6)) -> rule8)) -> rule3)) -> rule1))]