The cat eats the dog. The cat eats the mouse. The cat is big. The cat is cold. The cat is young. The cat needs the dog. The cat needs the mouse. The cat sees the mouse. The dog eats the mouse. The dog is young. The dog needs the mouse. The dog sees the cat. The dog sees the mouse. The mouse eats the cat. The mouse is big. The mouse needs the dog. If someone sees the dog then the dog is young. If someone needs the cat and they need the dog then they eat the dog. If someone eats the cat and they are young then they are cold. If someone is nice then they eat the mouse. If someone needs the cat then they see the cat. If the cat is nice and the cat needs the mouse then the cat sees the dog. If the dog sees the mouse then the mouse needs the cat. If someone eats the dog then they are cold.
The cat sees the cat.
@0: The cat eats the dog.[(triple1)] The cat eats the mouse.[(triple2)] The cat is big.[(triple3)] The cat is cold.[(triple4 OR ((triple1) -> rule8))] The cat is young.[(triple5)] The cat needs the dog.[(triple6)] The cat needs the mouse.[(triple7)] The cat sees the mouse.[(triple8)] The dog eats the mouse.[(triple9)] The dog is young.[(triple10)] The dog needs the mouse.[(triple11)] The dog sees the cat.[(triple12)] The dog sees the mouse.[(triple13)] The mouse eats the cat.[(triple14)] The mouse is big.[(triple15)] The mouse needs the dog.[(triple16)] @1: The mouse needs the cat.[(((triple13) -> rule7))] @2: The mouse eats the dog.[(((((triple13) -> rule7) triple16) -> rule2))] The mouse sees the cat.[(((((triple13) -> rule7)) -> rule5))] @3: The mouse is cold.[(((((((triple13) -> rule7) triple16) -> rule2)) -> rule8))]