The dog is big. The dog is rough. The dog is young. The dog likes the squirrel. The dog sees the squirrel. The dog visits the squirrel. The squirrel is big. The squirrel is cold. The squirrel likes the dog. The squirrel visits the dog. If someone is young then they see the squirrel. If someone is cold then they see the dog.
The dog is kind.
@0: The dog is big.[(triple1)] The dog is rough.[(triple2)] The dog is young.[(triple3)] The dog likes the squirrel.[(triple4)] The dog sees the squirrel.[(triple5 OR ((triple3) -> rule1))] The dog visits the squirrel.[(triple6)] The squirrel is big.[(triple7)] The squirrel is cold.[(triple8)] The squirrel likes the dog.[(triple9)] The squirrel visits the dog.[(triple10)] @1: The squirrel sees the dog.[(((triple8) -> rule2))]