The cat eats the mouse. The cat is big. The cat is cold. The cat is green. The cat is red. The cat is rough. The cat likes the mouse. The cat sees the mouse. The mouse eats the cat. The mouse is big. The mouse is cold. The mouse is green. The mouse is not red. The mouse is rough. The mouse likes the cat. The mouse sees the cat. If something likes the cat and it is green then the cat is cold. If something sees the mouse then it likes the mouse. If something is big and it likes the cat then the cat eats the mouse. If something likes the cat and it sees the mouse then the mouse is big. If something likes the mouse and it is not cold then it sees the mouse. If something eats the mouse and it likes the cat then it sees the mouse. If something likes the mouse and it is not red then it is big. If something is big then it eats the mouse.
The mouse sees the mouse.
@0: The cat eats the mouse.[(triple1 OR ((triple2) -> rule8) OR ((triple10 triple15) -> rule3))] The cat is big.[(triple2)] The cat is cold.[(triple3 OR ((triple15 triple12) -> rule1))] The cat is green.[(triple4)] The cat is red.[(triple5)] The cat is rough.[(triple6)] The cat likes the mouse.[(triple7 OR ((triple8) -> rule2))] The cat sees the mouse.[(triple8)] The mouse eats the cat.[(triple9)] The mouse is big.[(triple10)] The mouse is cold.[(triple11)] The mouse is green.[(triple12)] The mouse is not red.[(triple13)] The mouse is rough.[(triple14)] The mouse likes the cat.[(triple15)] The mouse sees the cat.[(triple16)] @1: The mouse eats the mouse.[(((triple10) -> rule8))] @2: The mouse sees the mouse.[(((((triple10) -> rule8) triple15) -> rule6))] @3: The mouse likes the mouse.[(((((((triple10) -> rule8) triple15) -> rule6)) -> rule2))]