The cat chases the lion. The cow visits the cat. The lion is big. The mouse sees the cow. If something is kind then it chases the lion. If something sees the cow then it chases the cat. If something chases the cat then it sees the mouse. If something sees the mouse then the mouse visits the lion. If something visits the cow and it visits the cat then it sees the lion. Big things are young. If something visits the lion and it chases the cat then the cat is cold. If the lion visits the cat and the lion visits the cow then the cat is red.
The lion is not big.
@0: The cat chases the lion.[(triple1)] The cow visits the cat.[(triple2)] The lion is big.[(triple3)] The mouse sees the cow.[(triple4)] @1: The lion is young.[(((triple3) -> rule6))] The mouse chases the cat.[(((triple4) -> rule2))] @2: The mouse sees the mouse.[(((((triple4) -> rule2)) -> rule3))] @3: The mouse visits the lion.[(((((((triple4) -> rule2)) -> rule3)) -> rule4))] @4: The cat is cold.[(((((((((triple4) -> rule2)) -> rule3)) -> rule4) ((triple4) -> rule2)) -> rule7))]