The cow is nice. The cow is rough. The mouse chases the rabbit. The mouse is green. The rabbit sees the tiger. The tiger is kind. The tiger is nice. The tiger is rough. The tiger sees the mouse. The tiger visits the rabbit. If someone sees the tiger and the tiger is rough then they visit the mouse. If someone visits the rabbit and they see the mouse then the mouse is green. If someone visits the mouse then they visit the tiger. If someone visits the rabbit and the rabbit is rough then the rabbit visits the cow. If someone is nice then they visit the mouse. If someone visits the tiger then they visit the cow. If someone sees the mouse then the mouse visits the cow. If someone visits the cow and they visit the mouse then the mouse sees the tiger.
The mouse sees the tiger.
@0: The cow is nice.[(triple1)] The cow is rough.[(triple2)] The mouse chases the rabbit.[(triple3)] The mouse is green.[(triple4 OR ((triple10 triple9) -> rule2))] The rabbit sees the tiger.[(triple5)] The tiger is kind.[(triple6)] The tiger is nice.[(triple7)] The tiger is rough.[(triple8)] The tiger sees the mouse.[(triple9)] The tiger visits the rabbit.[(triple10)] @1: The cow visits the mouse.[(((triple1) -> rule5))] The mouse visits the cow.[(((triple9) -> rule7) OR ((((((((((((((triple1) -> rule5)) -> rule3)) -> rule6) ((triple1) -> rule5)) -> rule8) triple8) -> rule1)) -> rule3)) -> rule6) OR ((((((((((((((triple7) -> rule5)) -> rule3)) -> rule6) ((triple7) -> rule5)) -> rule8) triple8) -> rule1)) -> rule3)) -> rule6) OR ((((((((((((((triple5 triple8) -> rule1)) -> rule3)) -> rule6) ((triple5 triple8) -> rule1)) -> rule8) triple8) -> rule1)) -> rule3)) -> rule6))] The rabbit visits the mouse.[(((triple5 triple8) -> rule1))] The tiger visits the mouse.[(((triple7) -> rule5))] @2: The cow visits the tiger.[(((((triple1) -> rule5)) -> rule3))] The rabbit visits the tiger.[(((((triple5 triple8) -> rule1)) -> rule3))] The tiger visits the tiger.[(((((triple7) -> rule5)) -> rule3))] @3: The cow visits the cow.[(((((((triple1) -> rule5)) -> rule3)) -> rule6))] The rabbit visits the cow.[(((((((triple5 triple8) -> rule1)) -> rule3)) -> rule6))] The tiger visits the cow.[(((((((triple7) -> rule5)) -> rule3)) -> rule6))] @4: The mouse sees the tiger.[(((((((((triple1) -> rule5)) -> rule3)) -> rule6) ((triple1) -> rule5)) -> rule8) OR ((((((((triple7) -> rule5)) -> rule3)) -> rule6) ((triple7) -> rule5)) -> rule8) OR ((((((((triple5 triple8) -> rule1)) -> rule3)) -> rule6) ((triple5 triple8) -> rule1)) -> rule8))] @5: The mouse visits the mouse.[(((((((((((triple1) -> rule5)) -> rule3)) -> rule6) ((triple1) -> rule5)) -> rule8) triple8) -> rule1) OR ((((((((((triple7) -> rule5)) -> rule3)) -> rule6) ((triple7) -> rule5)) -> rule8) triple8) -> rule1) OR ((((((((((triple5 triple8) -> rule1)) -> rule3)) -> rule6) ((triple5 triple8) -> rule1)) -> rule8) triple8) -> rule1))] @6: The mouse visits the tiger.[(((((((((((((triple1) -> rule5)) -> rule3)) -> rule6) ((triple1) -> rule5)) -> rule8) triple8) -> rule1)) -> rule3) OR ((((((((((((triple7) -> rule5)) -> rule3)) -> rule6) ((triple7) -> rule5)) -> rule8) triple8) -> rule1)) -> rule3) OR ((((((((((((triple5 triple8) -> rule1)) -> rule3)) -> rule6) ((triple5 triple8) -> rule1)) -> rule8) triple8) -> rule1)) -> rule3))]