The dog is blue. The dog is cold. The dog sees the mouse. The dog visits the mouse. The dog visits the rabbit. The mouse eats the rabbit. The mouse is round. The mouse sees the rabbit. The rabbit eats the mouse. The rabbit is round. If something sees the rabbit then it is round. If something is young and it visits the mouse then the mouse is round. If something visits the rabbit and it is cold then the rabbit sees the dog.
The mouse is young.
@0: The dog is blue.[(triple1)] The dog is cold.[(triple2)] The dog sees the mouse.[(triple3)] The dog visits the mouse.[(triple4)] The dog visits the rabbit.[(triple5)] The mouse eats the rabbit.[(triple6)] The mouse is round.[(triple7 OR ((triple8) -> rule1))] The mouse sees the rabbit.[(triple8)] The rabbit eats the mouse.[(triple9)] The rabbit is round.[(triple10)] @1: The rabbit sees the dog.[(((triple5 triple2) -> rule3))]