The mouse is cold. The mouse is green. The mouse is not round. The mouse likes the rabbit. The mouse visits the rabbit. The rabbit is red. The rabbit is round. The rabbit is young. The rabbit does not like the mouse. The rabbit sees the mouse. If someone is round then they visit the mouse. If someone visits the mouse then they like the rabbit. If someone likes the rabbit then they see the rabbit. If someone is round then they visit the rabbit. If someone visits the mouse then they are green. If someone likes the rabbit and the rabbit visits the mouse then they see the mouse. If someone sees the rabbit and the rabbit visits the mouse then the mouse visits the rabbit. If someone sees the rabbit and the rabbit does not see the mouse then the mouse does not see the rabbit.
The rabbit is not cold.
@0: The mouse is cold.[(triple1)] The mouse is green.[(triple2)] The mouse is not round.[(triple3)] The mouse likes the rabbit.[(triple4)] The mouse visits the rabbit.[(triple5 OR ((((triple4) -> rule3) ((triple7) -> rule1)) -> rule7) OR ((((((((triple7) -> rule1)) -> rule2)) -> rule3) ((triple7) -> rule1)) -> rule7))] The rabbit does not like the mouse.[(triple9)] The rabbit is red.[(triple6)] The rabbit is round.[(triple7)] The rabbit is young.[(triple8)] The rabbit sees the mouse.[(triple10 OR ((((((triple7) -> rule1)) -> rule2) ((triple7) -> rule1)) -> rule6))] @1: The mouse sees the rabbit.[(((triple4) -> rule3))] The rabbit visits the mouse.[(((triple7) -> rule1))] The rabbit visits the rabbit.[(((triple7) -> rule4))] @2: The mouse sees the mouse.[(((triple4 ((triple7) -> rule1)) -> rule6))] The rabbit is green.[(((((triple7) -> rule1)) -> rule5))] The rabbit likes the rabbit.[(((((triple7) -> rule1)) -> rule2))] @3: The rabbit sees the rabbit.[(((((((triple7) -> rule1)) -> rule2)) -> rule3))]