The cat chases the mouse. The cat is cold. The cat likes the mouse. The cow chases the mouse. The cow is big. The lion is blue. The lion is cold. The lion is young. The lion visits the cat. The lion visits the mouse. The mouse is cold. The mouse likes the cat. The mouse likes the lion. The mouse visits the cat. If someone is big and they chase the lion then the lion likes the cat. If someone visits the cat and the cat chases the cow then they are kind. If someone chases the lion and the lion visits the cat then the cat is kind. If someone visits the cow then they visit the cat. If the cat chases the mouse then the mouse chases the lion. If someone is kind then they chase the lion. If someone chases the lion then they visit the cow. If someone is kind then they chase the cat.
The mouse is young.
@0: The cat chases the mouse.[(triple1)] The cat is cold.[(triple2)] The cat likes the mouse.[(triple3)] The cow chases the mouse.[(triple4)] The cow is big.[(triple5)] The lion is blue.[(triple6)] The lion is cold.[(triple7)] The lion is young.[(triple8)] The lion visits the cat.[(triple9)] The lion visits the mouse.[(triple10)] The mouse is cold.[(triple11)] The mouse likes the cat.[(triple12)] The mouse likes the lion.[(triple13)] The mouse visits the cat.[(triple14 OR ((((((triple1) -> rule5)) -> rule7)) -> rule4))] @1: The mouse chases the lion.[(((triple1) -> rule5))] @2: The cat is kind.[(((((triple1) -> rule5) triple9) -> rule3))] The mouse visits the cow.[(((((triple1) -> rule5)) -> rule7))] @3: The cat chases the cat.[(((((((triple1) -> rule5) triple9) -> rule3)) -> rule8))] The cat chases the lion.[(((((((triple1) -> rule5) triple9) -> rule3)) -> rule6))] @4: The cat visits the cow.[(((((((((triple1) -> rule5) triple9) -> rule3)) -> rule6)) -> rule7))] @5: The cat visits the cat.[(((((((((((triple1) -> rule5) triple9) -> rule3)) -> rule6)) -> rule7)) -> rule4))]