The lion chases the mouse. The lion is green. The lion is kind. The lion is rough. The lion is round. The lion is young. The lion needs the mouse. The lion sees the mouse. The mouse chases the lion. The mouse is kind. The mouse is rough. The mouse is round. The mouse is young. The mouse needs the lion. The mouse sees the lion. If someone is green and they see the mouse then the mouse sees the lion. If someone chases the mouse then the mouse chases the lion. If someone needs the mouse and the mouse chases the lion then the lion sees the mouse. If someone is young and they chase the mouse then they see the mouse. If someone sees the lion then the lion is kind. If the lion is young then the lion chases the mouse.
The lion needs the mouse.
@0: The lion chases the mouse.[(triple1 OR ((triple6) -> rule6))] The lion is green.[(triple2)] The lion is kind.[(triple3 OR ((triple15) -> rule5) OR ((((triple2 triple8) -> rule1)) -> rule5) OR ((((triple2 ((triple6 triple1) -> rule4)) -> rule1)) -> rule5) OR ((((triple2 ((triple7 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple2 ((triple6 ((triple6) -> rule6)) -> rule4)) -> rule1)) -> rule5) OR ((((triple2 ((triple7 ((triple1) -> rule2)) -> rule3)) -> rule1)) -> rule5) OR ((((triple2 ((triple7 ((((triple6) -> rule6)) -> rule2)) -> rule3)) -> rule1)) -> rule5))] The lion is rough.[(triple4)] The lion is round.[(triple5)] The lion is young.[(triple6)] The lion needs the mouse.[(triple7)] The lion sees the mouse.[(triple8 OR ((triple6 triple1) -> rule4) OR ((triple7 triple9) -> rule3) OR ((triple6 ((triple6) -> rule6)) -> rule4) OR ((triple7 ((triple1) -> rule2)) -> rule3) OR ((triple7 ((((triple6) -> rule6)) -> rule2)) -> rule3))] The mouse chases the lion.[(triple9 OR ((triple1) -> rule2) OR ((((triple6) -> rule6)) -> rule2))] The mouse is kind.[(triple10)] The mouse is rough.[(triple11)] The mouse is round.[(triple12)] The mouse is young.[(triple13)] The mouse needs the lion.[(triple14)] The mouse sees the lion.[(triple15 OR ((triple2 triple8) -> rule1) OR ((triple2 ((triple6 triple1) -> rule4)) -> rule1) OR ((triple2 ((triple7 triple9) -> rule3)) -> rule1) OR ((triple2 ((triple6 ((triple6) -> rule6)) -> rule4)) -> rule1) OR ((triple2 ((triple7 ((triple1) -> rule2)) -> rule3)) -> rule1) OR ((triple2 ((triple7 ((((triple6) -> rule6)) -> rule2)) -> rule3)) -> rule1))]