The bear chases the cow. The bear is green. The bear is kind. The cat is big. The cat is green. The cat is kind. The cat is rough. The cow chases the cat. The cow eats the bear. The cow eats the cat. The cow is rough. The cow sees the bear. If someone chases the cow then the cow sees the bear. If someone eats the cat then they see the cow. If someone chases the cow then the cow is green. If someone sees the cow and the cow eats the cat then they are big. If someone is green then they chase the bear. If someone eats the cow and the cow is green then they chase the bear.
The bear is green.
@0: The bear chases the cow.[(triple1)] The bear is green.[(triple2)] The bear is kind.[(triple3)] The cat is big.[(triple4)] The cat is green.[(triple5)] The cat is kind.[(triple6)] The cat is rough.[(triple7)] The cow chases the cat.[(triple8)] The cow eats the bear.[(triple9)] The cow eats the cat.[(triple10)] The cow is rough.[(triple11)] The cow sees the bear.[(triple12 OR ((triple1) -> rule1))] @1: The bear chases the bear.[(((triple2) -> rule5))] The cat chases the bear.[(((triple5) -> rule5))] The cow is green.[(((triple1) -> rule3))] The cow sees the cow.[(((triple10) -> rule2))] @2: The cow chases the bear.[(((((triple1) -> rule3)) -> rule5))] The cow is big.[(((((triple10) -> rule2) triple10) -> rule4))]