The bear chases the cow. The bear sees the cow. The bear visits the cow. The cow chases the bear. The cow is blue. The cow is red. The cow visits the bear. If someone is cold then they see the bear. If someone chases the bear then they are red. If someone visits the cow then the cow chases the bear. If someone visits the bear then they see the bear. If someone sees the bear and the bear chases the cow then the bear is cold. If the cow visits the bear and the bear visits the cow then the cow chases the bear. If the cow chases the bear then the bear visits the cow. If the cow visits the bear then the cow is big.
The bear is big.
@0: The bear chases the cow.[(triple1)] The bear sees the cow.[(triple2)] The bear visits the cow.[(triple3 OR ((triple4) -> rule7))] The cow chases the bear.[(triple4 OR ((triple3) -> rule3) OR ((triple7 triple3) -> rule6))] The cow is blue.[(triple5)] The cow is red.[(triple6 OR ((triple4) -> rule2) OR ((((triple3) -> rule3)) -> rule2) OR ((((triple7 triple3) -> rule6)) -> rule2))] The cow visits the bear.[(triple7)] @1: The cow is big.[(((triple7) -> rule8))] The cow sees the bear.[(((triple7) -> rule4))] @2: The bear is cold.[(((((triple7) -> rule4) triple1) -> rule5))] @3: The bear sees the bear.[(((((((triple7) -> rule4) triple1) -> rule5)) -> rule1))]