The dog chases the squirrel. The dog eats the squirrel. The dog is round. The dog likes the squirrel. The squirrel chases the dog. The squirrel eats the dog. The squirrel is kind. The squirrel is nice. The squirrel is round. The squirrel likes the dog. If something likes the dog and it is blue then the dog is round. If something chases the squirrel then the squirrel chases the dog. If something likes the dog then the dog is kind. If something is kind and it chases the dog then it eats the dog. If something is red and it eats the dog then the dog eats the squirrel. If something chases the squirrel and it is kind then it is nice.
The dog is kind.
@0: The dog chases the squirrel.[(triple1)] The dog eats the squirrel.[(triple2)] The dog is round.[(triple3)] The dog likes the squirrel.[(triple4)] The squirrel chases the dog.[(triple5 OR ((triple1) -> rule2))] The squirrel eats the dog.[(triple6 OR ((triple7 triple5) -> rule4) OR ((triple7 ((triple1) -> rule2)) -> rule4))] The squirrel is kind.[(triple7)] The squirrel is nice.[(triple8)] The squirrel is round.[(triple9)] The squirrel likes the dog.[(triple10)] @1: The dog is kind.[(((triple10) -> rule3))] @2: The dog is nice.[(((triple1 ((triple10) -> rule3)) -> rule6))]