The bear chases the mouse. The bear is green. The bear likes the mouse. The bear sees the mouse. The mouse chases the bear. The mouse is blue. The mouse is cold. The mouse is green. The mouse is round. The mouse is young. The mouse likes the bear. The mouse sees the bear. If something chases the mouse and it is green then the mouse likes the bear. If something sees the bear and the bear chases the mouse then the mouse sees the bear. If something likes the mouse then it chases the mouse. If something is blue then it chases the bear. If something likes the bear then the bear is cold. If something is green and it likes the mouse then it is young. If something is green and it sees the bear then it likes the mouse. If something is young and it likes the mouse then the mouse likes the bear.
The bear does not chase the bear.
@0: The bear chases the mouse.[(triple1 OR ((triple3) -> rule3))] The bear is green.[(triple2)] The bear likes the mouse.[(triple3)] The bear sees the mouse.[(triple4)] The mouse chases the bear.[(triple5 OR ((triple6) -> rule4))] The mouse is blue.[(triple6)] The mouse is cold.[(triple7)] The mouse is green.[(triple8)] The mouse is round.[(triple9)] The mouse is young.[(triple10 OR ((triple8 ((triple8 triple12) -> rule7)) -> rule6))] The mouse likes the bear.[(triple11 OR ((triple1 triple2) -> rule1) OR ((triple10 ((triple8 triple12) -> rule7)) -> rule8) OR ((((triple3) -> rule3) triple2) -> rule1) OR ((((triple2 triple3) -> rule6) triple3) -> rule8) OR ((((((triple8 triple12) -> rule7)) -> rule3) triple8) -> rule1) OR ((((triple8 ((triple8 triple12) -> rule7)) -> rule6) ((triple8 triple12) -> rule7)) -> rule8))] The mouse sees the bear.[(triple12)] @1: The bear is cold.[(((triple11) -> rule5) OR ((((triple1 triple2) -> rule1)) -> rule5) OR ((((triple10 ((triple8 triple12) -> rule7)) -> rule8)) -> rule5) OR ((((((triple3) -> rule3) triple2) -> rule1)) -> rule5) OR ((((((triple2 triple3) -> rule6) triple3) -> rule8)) -> rule5) OR ((((((((triple8 triple12) -> rule7)) -> rule3) triple8) -> rule1)) -> rule5) OR ((((((triple8 ((triple8 triple12) -> rule7)) -> rule6) ((triple8 triple12) -> rule7)) -> rule8)) -> rule5))] The bear is young.[(((triple2 triple3) -> rule6))] The mouse likes the mouse.[(((triple8 triple12) -> rule7))] @2: The mouse chases the mouse.[(((((triple8 triple12) -> rule7)) -> rule3))]