The mouse chases the rabbit. The mouse is cold. The mouse is green. The mouse is young. The mouse likes the rabbit. The mouse visits the rabbit. The rabbit chases the mouse. The rabbit is cold. The rabbit is nice. The rabbit is young. The rabbit likes the mouse. The rabbit visits the mouse. If someone likes the mouse then they are cold. If the rabbit likes the mouse and the mouse visits the rabbit then the mouse is big. If someone likes the mouse and the mouse visits the rabbit then the rabbit is young. If someone chases the rabbit and they like the rabbit then the rabbit likes the mouse. If someone chases the mouse and the mouse is cold then the mouse likes the rabbit. If someone is cold then they visit the rabbit. If someone chases the mouse and the mouse chases the rabbit then the rabbit visits the mouse. If the rabbit is nice and the rabbit is big then the rabbit visits the mouse.
The mouse chases the rabbit.
@0: The mouse chases the rabbit.[(triple1)] The mouse is cold.[(triple2)] The mouse is green.[(triple3)] The mouse is young.[(triple4)] The mouse likes the rabbit.[(triple5 OR ((triple7 triple2) -> rule5))] The mouse visits the rabbit.[(triple6 OR ((triple2) -> rule6))] The rabbit chases the mouse.[(triple7)] The rabbit is cold.[(triple8 OR ((triple11) -> rule1) OR ((((triple1 triple5) -> rule4)) -> rule1) OR ((((triple1 ((triple7 triple2) -> rule5)) -> rule4)) -> rule1))] The rabbit is nice.[(triple9)] The rabbit is young.[(triple10 OR ((triple11 triple6) -> rule3) OR ((triple11 ((triple2) -> rule6)) -> rule3) OR ((((triple1 triple5) -> rule4) triple6) -> rule3) OR ((((triple1 triple5) -> rule4) ((triple2) -> rule6)) -> rule3) OR ((((triple1 ((triple7 triple2) -> rule5)) -> rule4) triple6) -> rule3) OR ((((triple1 ((triple7 triple2) -> rule5)) -> rule4) ((triple2) -> rule6)) -> rule3))] The rabbit likes the mouse.[(triple11 OR ((triple1 triple5) -> rule4) OR ((triple1 ((triple7 triple2) -> rule5)) -> rule4))] The rabbit visits the mouse.[(triple12 OR ((triple7 triple1) -> rule7))] @1: The mouse is big.[(((triple11 triple6) -> rule2) OR ((triple11 ((triple2) -> rule6)) -> rule2) OR ((((triple1 triple5) -> rule4) triple6) -> rule2) OR ((((triple1 triple5) -> rule4) ((triple2) -> rule6)) -> rule2) OR ((((triple1 ((triple7 triple2) -> rule5)) -> rule4) triple6) -> rule2) OR ((((triple1 ((triple7 triple2) -> rule5)) -> rule4) ((triple2) -> rule6)) -> rule2))] The rabbit visits the rabbit.[(((triple8) -> rule6) OR ((((triple11) -> rule1)) -> rule6) OR ((((((triple1 triple5) -> rule4)) -> rule1)) -> rule6) OR ((((((triple1 ((triple7 triple2) -> rule5)) -> rule4)) -> rule1)) -> rule6))]