The mouse chases the rabbit. The mouse is blue. The mouse is green. The mouse is kind. The mouse is nice. The mouse is young. The mouse needs the rabbit. The mouse visits the rabbit. The rabbit chases the mouse. The rabbit is blue. The rabbit is green. The rabbit is kind. The rabbit is nice. The rabbit is young. The rabbit needs the mouse. The rabbit visits the mouse. If the mouse needs the rabbit then the rabbit chases the mouse. If someone visits the rabbit then the rabbit visits the mouse. If someone is blue and nice then they need the mouse. If someone is blue and they need the rabbit then the rabbit is kind. If the rabbit is kind then the rabbit is blue. If someone is young and they chase the mouse then the mouse visits the rabbit.
The mouse visits the mouse.
@0: The mouse chases the rabbit.[(triple1)] The mouse is blue.[(triple2)] The mouse is green.[(triple3)] The mouse is kind.[(triple4)] The mouse is nice.[(triple5)] The mouse is young.[(triple6)] The mouse needs the rabbit.[(triple7)] The mouse visits the rabbit.[(triple8 OR ((triple14 triple9) -> rule6) OR ((triple14 ((triple7) -> rule1)) -> rule6))] The rabbit chases the mouse.[(triple9 OR ((triple7) -> rule1))] The rabbit is blue.[(triple10 OR ((triple12) -> rule5) OR ((((triple2 triple7) -> rule4)) -> rule5))] The rabbit is green.[(triple11)] The rabbit is kind.[(triple12 OR ((triple2 triple7) -> rule4))] The rabbit is nice.[(triple13)] The rabbit is young.[(triple14)] The rabbit needs the mouse.[(triple15 OR ((triple10 triple13) -> rule3) OR ((((triple12) -> rule5) triple13) -> rule3) OR ((((((triple2 triple7) -> rule4)) -> rule5) triple13) -> rule3))] The rabbit visits the mouse.[(triple16 OR ((triple8) -> rule2) OR ((((triple14 triple9) -> rule6)) -> rule2) OR ((((triple14 ((triple7) -> rule1)) -> rule6)) -> rule2))] @1: The mouse needs the mouse.[(((triple2 triple5) -> rule3))]