The cat chases the lion. The cat chases the mouse. The cat is big. The cat needs the mouse. The cat visits the lion. The lion chases the mouse. The lion is rough. The mouse chases the cat. The mouse chases the lion. The mouse is cold. The mouse is green. The mouse needs the cat. The mouse needs the lion. The mouse visits the cat. The mouse visits the lion. If someone needs the cat then the cat needs the lion. If someone needs the lion and they are green then the lion chases the mouse. If someone is rough and kind then they chase the cat. If someone needs the mouse then the mouse visits the cat. If the cat chases the mouse then the cat visits the lion. If someone needs the lion then the lion chases the mouse.
The cat visits the lion.
@0: The cat chases the lion.[(triple1)] The cat chases the mouse.[(triple2)] The cat is big.[(triple3)] The cat needs the mouse.[(triple4)] The cat visits the lion.[(triple5 OR ((triple2) -> rule5))] The lion chases the mouse.[(triple6 OR ((triple13) -> rule6) OR ((triple13 triple11) -> rule2) OR ((((triple12) -> rule1)) -> rule6))] The lion is rough.[(triple7)] The mouse chases the cat.[(triple8)] The mouse chases the lion.[(triple9)] The mouse is cold.[(triple10)] The mouse is green.[(triple11)] The mouse needs the cat.[(triple12)] The mouse needs the lion.[(triple13)] The mouse visits the cat.[(triple14 OR ((triple4) -> rule4))] The mouse visits the lion.[(triple15)] @1: The cat needs the lion.[(((triple12) -> rule1))]