The mouse is red. The mouse is round. The mouse is young. The mouse likes the tiger. The mouse sees the tiger. The tiger is kind. The tiger is red. The tiger is rough. The tiger is young. The tiger likes the mouse. The tiger sees the mouse. The tiger visits the mouse. If something is red and it likes the mouse then the mouse likes the tiger. If something likes the mouse then the mouse sees the tiger. If something visits the tiger and it is round then it visits the mouse. If something sees the tiger then it is red. If something visits the mouse and the mouse likes the tiger then it sees the mouse. If something is round then it likes the tiger. If something is red then it visits the tiger. If something likes the mouse and the mouse sees the tiger then the tiger likes the mouse.
The tiger does not like the tiger.
@0: The mouse is red.[(triple1 OR ((triple5) -> rule4) OR ((((triple10) -> rule2)) -> rule4))] The mouse is round.[(triple2)] The mouse is young.[(triple3)] The mouse likes the tiger.[(triple4 OR ((triple2) -> rule6) OR ((triple7 triple10) -> rule1))] The mouse sees the tiger.[(triple5 OR ((triple10) -> rule2))] The tiger is kind.[(triple6)] The tiger is red.[(triple7)] The tiger is rough.[(triple8)] The tiger is young.[(triple9)] The tiger likes the mouse.[(triple10)] The tiger sees the mouse.[(triple11 OR ((triple12 triple4) -> rule5) OR ((triple12 ((triple2) -> rule6)) -> rule5) OR ((triple12 ((triple7 triple10) -> rule1)) -> rule5))] The tiger visits the mouse.[(triple12)] @1: The mouse visits the tiger.[(((triple1) -> rule7) OR ((((triple5) -> rule4)) -> rule7) OR ((((((triple10) -> rule2)) -> rule4)) -> rule7))] The tiger visits the tiger.[(((triple7) -> rule7))] @2: The mouse visits the mouse.[(((((triple1) -> rule7) triple2) -> rule3) OR ((((((triple5) -> rule4)) -> rule7) triple2) -> rule3) OR ((((((((triple10) -> rule2)) -> rule4)) -> rule7) triple2) -> rule3))] @3: The mouse sees the mouse.[(((((((triple1) -> rule7) triple2) -> rule3) triple4) -> rule5) OR ((((((triple1) -> rule7) triple2) -> rule3) ((triple2) -> rule6)) -> rule5) OR ((((((triple1) -> rule7) triple2) -> rule3) ((triple7 triple10) -> rule1)) -> rule5) OR ((((((((triple5) -> rule4)) -> rule7) triple2) -> rule3) triple4) -> rule5) OR ((((((((triple5) -> rule4)) -> rule7) triple2) -> rule3) ((triple2) -> rule6)) -> rule5) OR ((((((((triple5) -> rule4)) -> rule7) triple2) -> rule3) ((triple7 triple10) -> rule1)) -> rule5) OR ((((((((((triple10) -> rule2)) -> rule4)) -> rule7) triple2) -> rule3) triple4) -> rule5) OR ((((((((((triple10) -> rule2)) -> rule4)) -> rule7) triple2) -> rule3) ((triple2) -> rule6)) -> rule5) OR ((((((((((triple10) -> rule2)) -> rule4)) -> rule7) triple2) -> rule3) ((triple7 triple10) -> rule1)) -> rule5))]