The cow eats the rabbit. The mouse eats the rabbit. The mouse likes the cow. The rabbit is green. The rabbit is nice. The rabbit is red. The rabbit likes the cow. The rabbit likes the mouse. The rabbit visits the cow. The rabbit visits the mouse. If something eats the mouse then the mouse visits the cow. If something visits the rabbit then it eats the mouse. If the mouse visits the cow then the cow visits the rabbit. If something likes the mouse then it visits the rabbit. If the rabbit is red then the rabbit is young. If the rabbit visits the cow then the rabbit likes the mouse. If the rabbit is green and the rabbit visits the mouse then the rabbit visits the cow. If something eats the mouse then the mouse likes the cow.
The mouse is round.
@0: The cow eats the rabbit.[(triple1)] The mouse eats the rabbit.[(triple2)] The mouse likes the cow.[(triple3 OR ((((((triple8) -> rule4)) -> rule2)) -> rule8) OR ((((((((triple9) -> rule6)) -> rule4)) -> rule2)) -> rule8) OR ((((((((((triple4 triple10) -> rule7)) -> rule6)) -> rule4)) -> rule2)) -> rule8) OR ((((((((((((triple8) -> rule4)) -> rule2)) -> rule1)) -> rule3)) -> rule2)) -> rule8) OR ((((((((((((((triple9) -> rule6)) -> rule4)) -> rule2)) -> rule1)) -> rule3)) -> rule2)) -> rule8) OR ((((((((((((((((triple4 triple10) -> rule7)) -> rule6)) -> rule4)) -> rule2)) -> rule1)) -> rule3)) -> rule2)) -> rule8))] The rabbit is green.[(triple4)] The rabbit is nice.[(triple5)] The rabbit is red.[(triple6)] The rabbit likes the cow.[(triple7)] The rabbit likes the mouse.[(triple8 OR ((triple9) -> rule6) OR ((((triple4 triple10) -> rule7)) -> rule6))] The rabbit visits the cow.[(triple9 OR ((triple4 triple10) -> rule7))] The rabbit visits the mouse.[(triple10)] @1: The rabbit is young.[(((triple6) -> rule5))] The rabbit visits the rabbit.[(((triple8) -> rule4) OR ((((triple9) -> rule6)) -> rule4) OR ((((((triple4 triple10) -> rule7)) -> rule6)) -> rule4))] @2: The rabbit eats the mouse.[(((((triple8) -> rule4)) -> rule2) OR ((((((triple9) -> rule6)) -> rule4)) -> rule2) OR ((((((((triple4 triple10) -> rule7)) -> rule6)) -> rule4)) -> rule2))] @3: The mouse visits the cow.[(((((((triple8) -> rule4)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule6)) -> rule4)) -> rule2)) -> rule1) OR ((((((((((triple4 triple10) -> rule7)) -> rule6)) -> rule4)) -> rule2)) -> rule1))] @4: The cow visits the rabbit.[(((((((((triple8) -> rule4)) -> rule2)) -> rule1)) -> rule3) OR ((((((((((triple9) -> rule6)) -> rule4)) -> rule2)) -> rule1)) -> rule3) OR ((((((((((((triple4 triple10) -> rule7)) -> rule6)) -> rule4)) -> rule2)) -> rule1)) -> rule3))] @5: The cow eats the mouse.[(((((((((((triple8) -> rule4)) -> rule2)) -> rule1)) -> rule3)) -> rule2) OR ((((((((((((triple9) -> rule6)) -> rule4)) -> rule2)) -> rule1)) -> rule3)) -> rule2) OR ((((((((((((((triple4 triple10) -> rule7)) -> rule6)) -> rule4)) -> rule2)) -> rule1)) -> rule3)) -> rule2))]