The dog is cold. The dog is rough. The dog is young. The dog sees the mouse. The lion is rough. The lion is young. The lion sees the dog. The mouse chases the dog. The mouse is cold. The mouse sees the dog. The mouse sees the lion. The mouse visits the lion. If something is kind then it is young. If something visits the dog then the dog is green. If something chases the mouse and it is cold then it chases the dog. If something chases the lion then the lion sees the dog. If something chases the mouse and it sees the lion then the mouse visits the dog. If something sees the dog then the dog chases the mouse. If something is cold and it chases the mouse then it chases the lion. If something chases the dog then it sees the dog.
The mouse visits the dog.
@0: The dog is cold.[(triple1)] The dog is rough.[(triple2)] The dog is young.[(triple3)] The dog sees the mouse.[(triple4)] The lion is rough.[(triple5)] The lion is young.[(triple6)] The lion sees the dog.[(triple7 OR ((((triple1 ((triple10) -> rule6)) -> rule7)) -> rule4) OR ((((triple1 ((((triple8) -> rule8)) -> rule6)) -> rule7)) -> rule4))] The mouse chases the dog.[(triple8)] The mouse is cold.[(triple9)] The mouse sees the dog.[(triple10 OR ((triple8) -> rule8))] The mouse sees the lion.[(triple11)] The mouse visits the lion.[(triple12)] @1: The dog chases the mouse.[(((triple10) -> rule6) OR ((triple7) -> rule6) OR ((((triple8) -> rule8)) -> rule6))] @2: The dog chases the dog.[(((((triple10) -> rule6) triple1) -> rule3) OR ((((triple7) -> rule6) triple1) -> rule3) OR ((((((triple8) -> rule8)) -> rule6) triple1) -> rule3))] The dog chases the lion.[(((triple1 ((triple10) -> rule6)) -> rule7) OR ((triple1 ((triple7) -> rule6)) -> rule7) OR ((triple1 ((((triple8) -> rule8)) -> rule6)) -> rule7))] @3: The dog sees the dog.[(((((((triple10) -> rule6) triple1) -> rule3)) -> rule8) OR ((((((triple7) -> rule6) triple1) -> rule3)) -> rule8) OR ((((((((triple8) -> rule8)) -> rule6) triple1) -> rule3)) -> rule8))]