The cat eats the mouse. The cat is cold. The cat is kind. The cat needs the mouse. The mouse eats the cat. The mouse is cold. The mouse is kind. The mouse is round. The mouse needs the cat. The mouse sees the cat. If something eats the cat then it sees the mouse. If something is round then it eats the cat. Cold things are round. If something needs the mouse and the mouse is round then the mouse needs the cat. If something is green and it sees the mouse then the mouse is green. If something is rough and it eats the cat then the cat sees the mouse.
The cat is not round.
@0: The cat eats the mouse.[(triple1)] The cat is cold.[(triple2)] The cat is kind.[(triple3)] The cat needs the mouse.[(triple4)] The mouse eats the cat.[(triple5 OR ((triple8) -> rule2) OR ((((triple6) -> rule3)) -> rule2))] The mouse is cold.[(triple6)] The mouse is kind.[(triple7)] The mouse is round.[(triple8 OR ((triple6) -> rule3))] The mouse needs the cat.[(triple9 OR ((triple4 triple8) -> rule4) OR ((triple4 ((triple6) -> rule3)) -> rule4))] The mouse sees the cat.[(triple10)] @1: The cat is round.[(((triple2) -> rule3))] The mouse sees the mouse.[(((triple5) -> rule1) OR ((((triple8) -> rule2)) -> rule1) OR ((((((triple6) -> rule3)) -> rule2)) -> rule1))] @2: The cat eats the cat.[(((((triple2) -> rule3)) -> rule2))] @3: The cat sees the mouse.[(((((((triple2) -> rule3)) -> rule2)) -> rule1))]