The cat is green. The cat sees the dog. The cat visits the dog. The dog eats the mouse. The dog is young. The dog sees the tiger. The dog visits the cat. The dog visits the mouse. The mouse sees the dog. The mouse visits the cat. The mouse visits the dog. The tiger eats the cat. The tiger is nice. The tiger sees the dog. The tiger sees the mouse. The tiger visits the dog. If someone eats the mouse then they are green. If someone is young and they see the dog then they are green. If someone eats the dog then they see the dog. If the tiger eats the dog and the dog visits the mouse then the tiger is young. If someone visits the cat and the cat is nice then the cat sees the dog. If someone sees the dog and the dog is green then they see the cat. If someone is rough then they eat the dog. All green people are rough. If someone eats the dog then the dog visits the mouse.
The dog sees the cat.
@0: The cat is green.[(triple1)] The cat sees the dog.[(triple2 OR ((((((triple1) -> rule8)) -> rule7)) -> rule3))] The cat visits the dog.[(triple3)] The dog eats the mouse.[(triple4)] The dog is young.[(triple5)] The dog sees the tiger.[(triple6)] The dog visits the cat.[(triple7)] The dog visits the mouse.[(triple8 OR ((((((triple1) -> rule8)) -> rule7)) -> rule9) OR ((((((((triple4) -> rule1)) -> rule8)) -> rule7)) -> rule9))] The mouse sees the dog.[(triple9)] The mouse visits the cat.[(triple10)] The mouse visits the dog.[(triple11)] The tiger eats the cat.[(triple12)] The tiger is nice.[(triple13)] The tiger sees the dog.[(triple14)] The tiger sees the mouse.[(triple15)] The tiger visits the dog.[(triple16)] @1: The cat is rough.[(((triple1) -> rule8))] The dog is green.[(((triple4) -> rule1))] @2: The cat eats the dog.[(((((triple1) -> rule8)) -> rule7))] The cat sees the cat.[(((triple2 ((triple4) -> rule1)) -> rule6) OR ((((((((triple1) -> rule8)) -> rule7)) -> rule3) ((triple4) -> rule1)) -> rule6))] The dog is rough.[(((((triple4) -> rule1)) -> rule8))] The mouse sees the cat.[(((triple9 ((triple4) -> rule1)) -> rule6))] The tiger sees the cat.[(((triple14 ((triple4) -> rule1)) -> rule6))] @3: The dog eats the dog.[(((((((triple4) -> rule1)) -> rule8)) -> rule7))] @4: The dog sees the dog.[(((((((((triple4) -> rule1)) -> rule8)) -> rule7)) -> rule3))] @5: The dog sees the cat.[(((((((((((triple4) -> rule1)) -> rule8)) -> rule7)) -> rule3) ((triple4) -> rule1)) -> rule6))]