The cat is blue. The cat is green. The cat is rough. The cat likes the mouse. The cat needs the mouse. The cat sees the mouse. The mouse is green. The mouse is red. The mouse is rough. The mouse likes the cat. The mouse needs the cat. The mouse sees the cat. If someone likes the mouse then the mouse is rough. If the mouse likes the cat and the mouse needs the cat then the cat needs the mouse. If someone is red and they like the mouse then the mouse sees the cat. If someone likes the mouse and they need the mouse then the mouse is blue. If someone likes the cat and they see the mouse then the cat needs the mouse. If someone needs the mouse and they need the cat then they like the mouse. If the mouse is cold then the mouse needs the cat. If someone is blue then they need the mouse.
The cat does not see the cat.
@0: The cat is blue.[(triple1)] The cat is green.[(triple2)] The cat is rough.[(triple3)] The cat likes the mouse.[(triple4)] The cat needs the mouse.[(triple5 OR ((triple1) -> rule8) OR ((triple10 triple11) -> rule2))] The cat sees the mouse.[(triple6)] The mouse is green.[(triple7)] The mouse is red.[(triple8)] The mouse is rough.[(triple9 OR ((triple4) -> rule1) OR ((((((((triple4 triple5) -> rule4)) -> rule8) triple11) -> rule6)) -> rule1) OR ((((((((triple4 ((triple1) -> rule8)) -> rule4)) -> rule8) triple11) -> rule6)) -> rule1) OR ((((((((triple4 ((triple10 triple11) -> rule2)) -> rule4)) -> rule8) triple11) -> rule6)) -> rule1))] The mouse likes the cat.[(triple10)] The mouse needs the cat.[(triple11)] The mouse sees the cat.[(triple12 OR ((triple8 ((((((triple4 triple5) -> rule4)) -> rule8) triple11) -> rule6)) -> rule3) OR ((triple8 ((((((triple4 ((triple1) -> rule8)) -> rule4)) -> rule8) triple11) -> rule6)) -> rule3) OR ((triple8 ((((((triple4 ((triple10 triple11) -> rule2)) -> rule4)) -> rule8) triple11) -> rule6)) -> rule3))] @1: The mouse is blue.[(((triple4 triple5) -> rule4) OR ((triple4 ((triple1) -> rule8)) -> rule4) OR ((triple4 ((triple10 triple11) -> rule2)) -> rule4))] @2: The mouse needs the mouse.[(((((triple4 triple5) -> rule4)) -> rule8) OR ((((triple4 ((triple1) -> rule8)) -> rule4)) -> rule8) OR ((((triple4 ((triple10 triple11) -> rule2)) -> rule4)) -> rule8))] @3: The mouse likes the mouse.[(((((((triple4 triple5) -> rule4)) -> rule8) triple11) -> rule6) OR ((((((triple4 ((triple1) -> rule8)) -> rule4)) -> rule8) triple11) -> rule6) OR ((((((triple4 ((triple10 triple11) -> rule2)) -> rule4)) -> rule8) triple11) -> rule6))]