The cat eats the mouse. The cat is big. The cat is green. The cat is red. The cat is rough. The cat is young. The cat needs the mouse. The cat visits the mouse. The mouse eats the cat. The mouse is red. The mouse needs the cat. The mouse visits the cat. If someone is rough and they visit the mouse then they are young. If someone needs the mouse and they visit the mouse then they eat the cat. If someone visits the mouse and the mouse needs the cat then they are big. If someone eats the cat then the cat is red. If someone visits the mouse then the mouse is young. If the mouse visits the cat then the mouse is young. If the cat needs the mouse then the cat is big. If someone is big then they need the mouse.
The mouse needs the mouse.
@0: The cat eats the mouse.[(triple1)] The cat is big.[(triple2 OR ((triple7) -> rule7) OR ((triple8 triple11) -> rule3))] The cat is green.[(triple3)] The cat is red.[(triple4 OR ((triple9) -> rule4) OR ((((triple7 triple8) -> rule2)) -> rule4) OR ((((((triple2) -> rule8) triple8) -> rule2)) -> rule4) OR ((((((((triple8 triple11) -> rule3)) -> rule8) triple8) -> rule2)) -> rule4))] The cat is rough.[(triple5)] The cat is young.[(triple6 OR ((triple5 triple8) -> rule1))] The cat needs the mouse.[(triple7 OR ((triple2) -> rule8) OR ((((triple8 triple11) -> rule3)) -> rule8))] The cat visits the mouse.[(triple8)] The mouse eats the cat.[(triple9)] The mouse is red.[(triple10)] The mouse needs the cat.[(triple11)] The mouse visits the cat.[(triple12)] @1: The cat eats the cat.[(((triple7 triple8) -> rule2) OR ((((triple2) -> rule8) triple8) -> rule2) OR ((((((triple8 triple11) -> rule3)) -> rule8) triple8) -> rule2))] The mouse is young.[(((triple12) -> rule6) OR ((triple8) -> rule5))]