The mouse is blue. The mouse is cold. The mouse is green. The mouse is red. The mouse is round. The mouse likes the rabbit. The mouse sees the rabbit. The mouse visits the rabbit. The rabbit is blue. The rabbit is green. The rabbit is red. The rabbit is round. The rabbit likes the mouse. The rabbit sees the mouse. The rabbit visits the mouse. If something is cold and red then it visits the rabbit. If something is green and it visits the rabbit then the rabbit visits the mouse. If the rabbit is blue and the rabbit likes the mouse then the mouse visits the rabbit. If something sees the mouse and it likes the mouse then it visits the mouse. If something sees the mouse and it visits the mouse then the mouse sees the rabbit. If something is blue and round then it visits the rabbit. If something visits the mouse then the mouse visits the rabbit. If something visits the mouse then it is cold.
The mouse is not cold.
@0: The mouse is blue.[(triple1)] The mouse is cold.[(triple2)] The mouse is green.[(triple3)] The mouse is red.[(triple4)] The mouse is round.[(triple5)] The mouse likes the rabbit.[(triple6)] The mouse sees the rabbit.[(triple7 OR ((triple14 triple15) -> rule5) OR ((triple14 ((triple14 triple13) -> rule4)) -> rule5) OR ((triple14 ((triple3 triple8) -> rule2)) -> rule5) OR ((triple14 ((triple10 ((triple9 triple12) -> rule6)) -> rule2)) -> rule5) OR ((triple14 ((triple3 ((triple1 triple5) -> rule6)) -> rule2)) -> rule5) OR ((triple14 ((triple3 ((triple2 triple4) -> rule1)) -> rule2)) -> rule5) OR ((triple14 ((triple3 ((triple9 triple13) -> rule3)) -> rule2)) -> rule5))] The mouse visits the rabbit.[(triple8 OR ((triple15) -> rule7) OR ((triple1 triple5) -> rule6) OR ((triple2 triple4) -> rule1) OR ((triple9 triple13) -> rule3) OR ((((triple14 triple13) -> rule4)) -> rule7) OR ((((triple10 ((triple9 triple12) -> rule6)) -> rule2)) -> rule7))] The rabbit is blue.[(triple9)] The rabbit is green.[(triple10)] The rabbit is red.[(triple11)] The rabbit is round.[(triple12)] The rabbit likes the mouse.[(triple13)] The rabbit sees the mouse.[(triple14)] The rabbit visits the mouse.[(triple15 OR ((triple14 triple13) -> rule4) OR ((triple3 triple8) -> rule2) OR ((triple10 ((triple9 triple12) -> rule6)) -> rule2) OR ((triple3 ((triple1 triple5) -> rule6)) -> rule2) OR ((triple3 ((triple2 triple4) -> rule1)) -> rule2) OR ((triple3 ((triple9 triple13) -> rule3)) -> rule2))] @1: The rabbit is cold.[(((triple15) -> rule8) OR ((((triple14 triple13) -> rule4)) -> rule8) OR ((((triple3 triple8) -> rule2)) -> rule8) OR ((((triple10 ((triple9 triple12) -> rule6)) -> rule2)) -> rule8) OR ((((triple3 ((triple1 triple5) -> rule6)) -> rule2)) -> rule8) OR ((((triple3 ((triple2 triple4) -> rule1)) -> rule2)) -> rule8) OR ((((triple3 ((triple9 triple13) -> rule3)) -> rule2)) -> rule8))] The rabbit visits the rabbit.[(((triple9 triple12) -> rule6) OR ((((triple15) -> rule8) triple11) -> rule1) OR ((((((triple14 triple13) -> rule4)) -> rule8) triple11) -> rule1) OR ((((((triple3 triple8) -> rule2)) -> rule8) triple11) -> rule1) OR ((((((triple3 ((triple1 triple5) -> rule6)) -> rule2)) -> rule8) triple11) -> rule1) OR ((((((triple3 ((triple2 triple4) -> rule1)) -> rule2)) -> rule8) triple11) -> rule1) OR ((((((triple3 ((triple9 triple13) -> rule3)) -> rule2)) -> rule8) triple11) -> rule1))]