The mouse is blue. The mouse is rough. The mouse likes the rabbit. The mouse needs the rabbit. The mouse visits the rabbit. The rabbit is nice. The rabbit is rough. The rabbit is round. The rabbit likes the mouse. The rabbit visits the mouse. If someone needs the mouse and they like the rabbit then they are green. If someone visits the rabbit then the rabbit is rough. If someone is round and they need the rabbit then the rabbit needs the mouse. If someone likes the rabbit and the rabbit visits the mouse then the rabbit needs the mouse. If someone needs the mouse and they visit the rabbit then the mouse likes the rabbit. If someone needs the mouse and they are rough then the mouse is blue. If someone likes the rabbit and the rabbit is blue then they visit the mouse. If someone is rough then they like the rabbit.
The rabbit needs the rabbit.
@0: The mouse is blue.[(triple1 OR ((((triple3 triple10) -> rule4) triple7) -> rule6) OR ((((triple3 triple10) -> rule4) ((triple5) -> rule2)) -> rule6) OR ((((((triple2) -> rule8) triple10) -> rule4) triple7) -> rule6) OR ((((((triple7) -> rule8) triple10) -> rule4) triple7) -> rule6) OR ((((((triple2) -> rule8) triple10) -> rule4) ((triple5) -> rule2)) -> rule6) OR ((((((triple7) -> rule8) triple10) -> rule4) ((triple5) -> rule2)) -> rule6) OR ((((((((triple5) -> rule2)) -> rule8) triple10) -> rule4) triple7) -> rule6) OR ((((((((triple5) -> rule2)) -> rule8) triple10) -> rule4) ((triple5) -> rule2)) -> rule6))] The mouse is rough.[(triple2)] The mouse likes the rabbit.[(triple3 OR ((triple2) -> rule8))] The mouse needs the rabbit.[(triple4)] The mouse visits the rabbit.[(triple5)] The rabbit is nice.[(triple6)] The rabbit is rough.[(triple7 OR ((triple5) -> rule2))] The rabbit is round.[(triple8)] The rabbit likes the mouse.[(triple9)] The rabbit visits the mouse.[(triple10)] @1: The rabbit likes the rabbit.[(((triple7) -> rule8) OR ((((triple5) -> rule2)) -> rule8))] The rabbit needs the mouse.[(((triple3 triple10) -> rule4) OR ((((triple2) -> rule8) triple10) -> rule4) OR ((((triple7) -> rule8) triple10) -> rule4) OR ((((((triple5) -> rule2)) -> rule8) triple10) -> rule4))] @2: The rabbit is green.[(((((triple3 triple10) -> rule4) ((triple7) -> rule8)) -> rule1) OR ((((triple3 triple10) -> rule4) ((((triple5) -> rule2)) -> rule8)) -> rule1) OR ((((((triple2) -> rule8) triple10) -> rule4) ((triple7) -> rule8)) -> rule1) OR ((((((triple7) -> rule8) triple10) -> rule4) ((triple7) -> rule8)) -> rule1) OR ((((((triple2) -> rule8) triple10) -> rule4) ((((triple5) -> rule2)) -> rule8)) -> rule1) OR ((((((triple7) -> rule8) triple10) -> rule4) ((((triple5) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple5) -> rule2)) -> rule8) triple10) -> rule4) ((triple7) -> rule8)) -> rule1) OR ((((((((triple5) -> rule2)) -> rule8) triple10) -> rule4) ((((triple5) -> rule2)) -> rule8)) -> rule1))]