The cow eats the dog. The cow is green. The cow is nice. The cow sees the dog. The cow visits the dog. The dog eats the cow. The dog is blue. The dog is kind. The dog sees the cow. The dog visits the cow. If someone is kind then they see the cow. If someone visits the dog then they see the cow. If someone visits the cow then they are not nice. All green people are round. If someone sees the dog then the dog is green. If someone sees the cow and they are not round then the cow eats the dog.
The cow is nice.
@0: The cow eats the dog.[(triple1)] The cow is green.[(triple2)] The cow is nice.[(triple3)] The cow sees the dog.[(triple4)] The cow visits the dog.[(triple5)] The dog eats the cow.[(triple6)] The dog is blue.[(triple7)] The dog is kind.[(triple8)] The dog sees the cow.[(triple9 OR ((triple8) -> rule1))] The dog visits the cow.[(triple10)] @1: The cow is round.[(((triple2) -> rule4))] The cow sees the cow.[(((triple5) -> rule2))] The dog is green.[(((triple4) -> rule5))] The dog is not nice.[(((triple10) -> rule3))] @2: The dog is round.[(((((triple4) -> rule5)) -> rule4))]