The mouse eats the rabbit. The mouse is kind. The mouse is red. The mouse is rough. The mouse likes the rabbit. The mouse sees the rabbit. The rabbit eats the mouse. The rabbit is blue. The rabbit is red. The rabbit is rough. The rabbit likes the mouse. The rabbit sees the mouse. If someone likes the rabbit then they are red. If someone likes the rabbit and they eat the mouse then they like the mouse. If the mouse eats the rabbit and the rabbit is green then the rabbit eats the mouse. If the mouse is red and the mouse sees the rabbit then the mouse eats the rabbit. All blue people are red. If someone likes the rabbit then the rabbit sees the mouse.
The rabbit is red.
@0: The mouse eats the rabbit.[(triple1 OR ((triple3 triple6) -> rule4) OR ((((triple5) -> rule1) triple6) -> rule4))] The mouse is kind.[(triple2)] The mouse is red.[(triple3 OR ((triple5) -> rule1))] The mouse is rough.[(triple4)] The mouse likes the rabbit.[(triple5)] The mouse sees the rabbit.[(triple6)] The rabbit eats the mouse.[(triple7)] The rabbit is blue.[(triple8)] The rabbit is red.[(triple9 OR ((triple8) -> rule5))] The rabbit is rough.[(triple10)] The rabbit likes the mouse.[(triple11)] The rabbit sees the mouse.[(triple12 OR ((triple5) -> rule6))]