The dog chases the lion. The dog chases the rabbit. The dog is big. The dog is young. The dog likes the lion. The dog likes the mouse. The lion is blue. The mouse chases the rabbit. The mouse is round. The mouse likes the dog. The mouse likes the lion. The rabbit chases the lion. If something is round and it sees the lion then it chases the lion. If something likes the mouse then it is cold. If something chases the mouse then it sees the lion. If something sees the lion then the lion is cold. If something is big and round then it chases the rabbit. If the mouse is blue then the mouse likes the lion. If something is cold then it chases the mouse. If the rabbit is cold and the rabbit chases the lion then the rabbit chases the mouse.
The mouse chases the lion.
@0: The dog chases the lion.[(triple1)] The dog chases the rabbit.[(triple2)] The dog is big.[(triple3)] The dog is young.[(triple4)] The dog likes the lion.[(triple5)] The dog likes the mouse.[(triple6)] The lion is blue.[(triple7)] The mouse chases the rabbit.[(triple8)] The mouse is round.[(triple9)] The mouse likes the dog.[(triple10)] The mouse likes the lion.[(triple11)] The rabbit chases the lion.[(triple12)] @1: The dog is cold.[(((triple6) -> rule2))] @2: The dog chases the mouse.[(((((triple6) -> rule2)) -> rule7))] @3: The dog sees the lion.[(((((((triple6) -> rule2)) -> rule7)) -> rule3))] @4: The lion is cold.[(((((((((triple6) -> rule2)) -> rule7)) -> rule3)) -> rule4))] @5: The lion chases the mouse.[(((((((((((triple6) -> rule2)) -> rule7)) -> rule3)) -> rule4)) -> rule7))] @6: The lion sees the lion.[(((((((((((((triple6) -> rule2)) -> rule7)) -> rule3)) -> rule4)) -> rule7)) -> rule3))]