The mouse is red. The mouse is round. The mouse likes the tiger. The mouse sees the tiger. The tiger is big. The tiger is green. The tiger is red. The tiger is round. The tiger is young. The tiger likes the mouse. The tiger sees the mouse. The tiger visits the mouse. If someone is green and they see the tiger then they like the mouse. If the tiger sees the mouse and the mouse likes the tiger then the mouse visits the tiger. If the mouse sees the tiger then the mouse likes the tiger. If someone visits the tiger then the tiger is round. If someone sees the mouse and the mouse is red then they see the tiger. If the tiger is round and the tiger likes the mouse then the tiger sees the mouse. If someone visits the tiger and they are round then the tiger is round. If the mouse visits the tiger then the mouse is green.
The mouse visits the mouse.
@0: The mouse is red.[(triple1)] The mouse is round.[(triple2)] The mouse likes the tiger.[(triple3 OR ((triple4) -> rule3))] The mouse sees the tiger.[(triple4)] The tiger is big.[(triple5)] The tiger is green.[(triple6)] The tiger is red.[(triple7)] The tiger is round.[(triple8 OR ((((triple11 triple3) -> rule2)) -> rule4) OR ((((triple11 triple3) -> rule2) triple2) -> rule7) OR ((((triple11 ((triple4) -> rule3)) -> rule2)) -> rule4) OR ((((triple11 ((triple4) -> rule3)) -> rule2) triple2) -> rule7))] The tiger is young.[(triple9)] The tiger likes the mouse.[(triple10 OR ((triple6 ((triple11 triple1) -> rule5)) -> rule1))] The tiger sees the mouse.[(triple11 OR ((triple8 triple10) -> rule6))] The tiger visits the mouse.[(triple12)] @1: The mouse visits the tiger.[(((triple11 triple3) -> rule2) OR ((triple11 ((triple4) -> rule3)) -> rule2) OR ((((triple8 triple10) -> rule6) triple3) -> rule2) OR ((((triple8 triple10) -> rule6) ((triple4) -> rule3)) -> rule2))] The tiger sees the tiger.[(((triple11 triple1) -> rule5) OR ((((triple8 triple10) -> rule6) triple1) -> rule5))] @2: The mouse is green.[(((((triple11 triple3) -> rule2)) -> rule8) OR ((((triple11 ((triple4) -> rule3)) -> rule2)) -> rule8) OR ((((((triple8 triple10) -> rule6) triple3) -> rule2)) -> rule8) OR ((((((triple8 triple10) -> rule6) ((triple4) -> rule3)) -> rule2)) -> rule8))] @3: The mouse likes the mouse.[(((((((triple11 triple3) -> rule2)) -> rule8) triple4) -> rule1) OR ((((((triple11 ((triple4) -> rule3)) -> rule2)) -> rule8) triple4) -> rule1) OR ((((((((triple8 triple10) -> rule6) triple3) -> rule2)) -> rule8) triple4) -> rule1) OR ((((((((triple8 triple10) -> rule6) ((triple4) -> rule3)) -> rule2)) -> rule8) triple4) -> rule1))]