The cow is nice. The cow likes the squirrel. The dog is green. The dog is kind. The dog is nice. The dog likes the squirrel. The dog visits the cow. The squirrel is green. The squirrel is round. The squirrel needs the cow. If something is nice then it likes the squirrel. If the squirrel needs the cow then the cow likes the squirrel.
The dog is green.
@0: The cow is nice.[(triple1)] The cow likes the squirrel.[(triple2 OR ((triple1) -> rule1) OR ((triple10) -> rule2))] The dog is green.[(triple3)] The dog is kind.[(triple4)] The dog is nice.[(triple5)] The dog likes the squirrel.[(triple6 OR ((triple5) -> rule1))] The dog visits the cow.[(triple7)] The squirrel is green.[(triple8)] The squirrel is round.[(triple9)] The squirrel needs the cow.[(triple10)]