The mouse chases the rabbit. The mouse eats the rabbit. The mouse is big. The mouse is blue. The mouse is nice. The mouse is rough. The mouse is round. The mouse visits the rabbit. The rabbit chases the mouse. The rabbit eats the mouse. The rabbit is big. The rabbit is blue. The rabbit is nice. The rabbit is rough. The rabbit is round. The rabbit visits the mouse. If someone is nice and they visit the mouse then they chase the mouse. If someone visits the mouse and they are round then the mouse is round. If someone eats the rabbit then they eat the mouse. If someone eats the mouse and the mouse is blue then they visit the mouse. If someone eats the rabbit and they are nice then they chase the rabbit. If someone visits the rabbit then the rabbit eats the mouse.
The mouse does not chase the mouse.
@0: The mouse chases the rabbit.[(triple1 OR ((triple2 triple5) -> rule5))] The mouse eats the rabbit.[(triple2)] The mouse is big.[(triple3)] The mouse is blue.[(triple4)] The mouse is nice.[(triple5)] The mouse is rough.[(triple6)] The mouse is round.[(triple7 OR ((triple16 triple15) -> rule2) OR ((((triple10 triple4) -> rule4) triple15) -> rule2) OR ((((((triple8) -> rule6) triple4) -> rule4) triple15) -> rule2))] The mouse visits the rabbit.[(triple8)] The rabbit chases the mouse.[(triple9 OR ((triple13 triple16) -> rule1) OR ((triple13 ((triple10 triple4) -> rule4)) -> rule1) OR ((triple13 ((((triple8) -> rule6) triple4) -> rule4)) -> rule1))] The rabbit eats the mouse.[(triple10 OR ((triple8) -> rule6))] The rabbit is big.[(triple11)] The rabbit is blue.[(triple12)] The rabbit is nice.[(triple13)] The rabbit is rough.[(triple14)] The rabbit is round.[(triple15)] The rabbit visits the mouse.[(triple16 OR ((triple10 triple4) -> rule4) OR ((((triple8) -> rule6) triple4) -> rule4))] @1: The mouse eats the mouse.[(((triple2) -> rule3))] @2: The mouse visits the mouse.[(((((triple2) -> rule3) triple4) -> rule4))] @3: The mouse chases the mouse.[(((triple5 ((((triple2) -> rule3) triple4) -> rule4)) -> rule1))]