The mouse does not eat the rabbit. The mouse is kind. The mouse is red. The mouse needs the rabbit. The rabbit eats the mouse. The rabbit is cold. The rabbit is green. The rabbit is kind. The rabbit is nice. The rabbit is red. The rabbit does not like the mouse. The rabbit needs the mouse. If something is red then it does not eat the rabbit. If something eats the rabbit then it likes the rabbit. If something is red and green then it eats the mouse. If something is cold and it needs the mouse then it is nice. If something is red then it is green. If something eats the mouse and the mouse is green then it needs the mouse.
The mouse needs the rabbit.
@0: The mouse does not eat the rabbit.[(triple1 OR ((triple3) -> rule1))] The mouse is kind.[(triple2)] The mouse is red.[(triple3)] The mouse needs the rabbit.[(triple4)] The rabbit does not like the mouse.[(triple11)] The rabbit eats the mouse.[(triple5 OR ((triple10 triple7) -> rule3) OR ((triple10 ((triple10) -> rule5)) -> rule3))] The rabbit is cold.[(triple6)] The rabbit is green.[(triple7 OR ((triple10) -> rule5))] The rabbit is kind.[(triple8)] The rabbit is nice.[(triple9 OR ((triple6 triple12) -> rule4) OR ((triple6 ((triple5 ((triple3) -> rule5)) -> rule6)) -> rule4) OR ((triple6 ((((triple10 triple7) -> rule3) ((triple3) -> rule5)) -> rule6)) -> rule4) OR ((triple6 ((((triple10 ((triple10) -> rule5)) -> rule3) ((triple3) -> rule5)) -> rule6)) -> rule4))] The rabbit is red.[(triple10)] The rabbit needs the mouse.[(triple12 OR ((triple5 ((triple3) -> rule5)) -> rule6) OR ((((triple10 triple7) -> rule3) ((triple3) -> rule5)) -> rule6) OR ((((triple10 ((triple10) -> rule5)) -> rule3) ((triple3) -> rule5)) -> rule6))] @1: The mouse is green.[(((triple3) -> rule5))] The rabbit does not eat the rabbit.[(((triple10) -> rule1))] @2: The mouse eats the mouse.[(((triple3 ((triple3) -> rule5)) -> rule3))] @3: The mouse needs the mouse.[(((((triple3 ((triple3) -> rule5)) -> rule3) ((triple3) -> rule5)) -> rule6))]