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