The mouse eats the rabbit. The mouse is cold. The mouse is green. The mouse is red. The mouse is round. The mouse is young. The mouse sees the rabbit. The mouse visits the rabbit. The rabbit eats the mouse. The rabbit is green. The rabbit is red. The rabbit is round. The rabbit is young. The rabbit sees the mouse. The rabbit visits the mouse. If someone is cold and they visit the rabbit then the rabbit eats the mouse. If someone eats the mouse and the mouse eats the rabbit then they are round. If the rabbit eats the mouse then the mouse sees the rabbit. If the mouse is green and the mouse sees the rabbit then the mouse visits the rabbit. If someone sees the mouse then the mouse eats the rabbit. If the mouse visits the rabbit then the mouse sees the rabbit.
The mouse is not green.
@0: The mouse eats the rabbit.[(triple1 OR ((triple14) -> rule5))] The mouse is cold.[(triple2)] The mouse is green.[(triple3)] The mouse is red.[(triple4)] The mouse is round.[(triple5)] The mouse is young.[(triple6)] The mouse sees the rabbit.[(triple7 OR ((triple8) -> rule6) OR ((triple9) -> rule3) OR ((((triple2 triple8) -> rule1)) -> rule3))] The mouse visits the rabbit.[(triple8 OR ((triple3 triple7) -> rule4) OR ((triple3 ((triple9) -> rule3)) -> rule4))] The rabbit eats the mouse.[(triple9 OR ((triple2 triple8) -> rule1) OR ((triple2 ((triple3 triple7) -> rule4)) -> rule1))] The rabbit is green.[(triple10)] The rabbit is red.[(triple11)] The rabbit is round.[(triple12 OR ((triple9 triple1) -> rule2) OR ((triple9 ((triple14) -> rule5)) -> rule2) OR ((((triple2 triple8) -> rule1) triple1) -> rule2) OR ((((triple2 triple8) -> rule1) ((triple14) -> rule5)) -> rule2) OR ((((triple2 ((triple3 triple7) -> rule4)) -> rule1) triple1) -> rule2) OR ((((triple2 ((triple3 triple7) -> rule4)) -> rule1) ((triple14) -> rule5)) -> rule2))] The rabbit is young.[(triple13)] The rabbit sees the mouse.[(triple14)] The rabbit visits the mouse.[(triple15)]