The bear chases the cow. The bear is big. The bear is green. The bear is red. The bear is rough. The bear is round. The bear needs the cow. The bear visits the cow. The cow chases the bear. The cow is big. The cow is green. The cow is red. The cow is rough. The cow is round. The cow needs the bear. The cow visits the bear. If someone chases the cow then they are rough. If someone is big and they chase the cow then they are red. If someone is red then they chase the cow. If someone needs the cow then the cow needs the bear. If the bear needs the cow then the cow is round. If the cow needs the bear then the bear visits the cow.
The bear visits the bear.
@0: The bear chases the cow.[(triple1 OR ((triple4) -> rule3))] The bear is big.[(triple2)] The bear is green.[(triple3)] The bear is red.[(triple4 OR ((triple2 triple1) -> rule2))] The bear is rough.[(triple5 OR ((triple1) -> rule1) OR ((((triple4) -> rule3)) -> rule1))] The bear is round.[(triple6)] The bear needs the cow.[(triple7)] The bear visits the cow.[(triple8 OR ((triple15) -> rule6) OR ((((triple7) -> rule4)) -> rule6))] The cow chases the bear.[(triple9)] The cow is big.[(triple10)] The cow is green.[(triple11)] The cow is red.[(triple12)] The cow is rough.[(triple13 OR ((((triple12) -> rule3)) -> rule1))] The cow is round.[(triple14 OR ((triple7) -> rule5))] The cow needs the bear.[(triple15 OR ((triple7) -> rule4))] The cow visits the bear.[(triple16)] @1: The cow chases the cow.[(((triple12) -> rule3))]