The cow eats the rabbit. The cow is nice. The cow is round. The cow likes the rabbit. The rabbit eats the cow. The rabbit is round. The rabbit likes the cow. If the cow likes the rabbit and the cow eats the rabbit then the cow is kind. If someone eats the cow then the cow eats the rabbit. If the rabbit likes the cow and the rabbit visits the cow then the rabbit eats the cow. If the rabbit eats the cow and the rabbit likes the cow then the cow eats the rabbit. If the cow is nice then the cow visits the rabbit. If the cow eats the rabbit and the cow is kind then the rabbit visits the cow. If someone likes the cow then the cow visits the rabbit. If someone visits the cow then the cow visits the rabbit.
The cow is not round.
@0: The cow eats the rabbit.[(triple1 OR ((triple5) -> rule2) OR ((triple5 triple7) -> rule4))] The cow is nice.[(triple2)] The cow is round.[(triple3)] The cow likes the rabbit.[(triple4)] The rabbit eats the cow.[(triple5 OR ((triple7 ((triple1 ((triple4 triple1) -> rule1)) -> rule6)) -> rule3))] The rabbit is round.[(triple6)] The rabbit likes the cow.[(triple7)] @1: The cow is kind.[(((triple4 triple1) -> rule1) OR ((triple4 ((triple5) -> rule2)) -> rule1) OR ((triple4 ((triple5 triple7) -> rule4)) -> rule1))] The cow visits the rabbit.[(((triple2) -> rule5) OR ((triple7) -> rule7) OR ((((triple1 ((triple4 triple1) -> rule1)) -> rule6)) -> rule8) OR ((((((triple5) -> rule2) ((triple4 triple1) -> rule1)) -> rule6)) -> rule8) OR ((((((triple5 triple7) -> rule4) ((triple4 triple1) -> rule1)) -> rule6)) -> rule8) OR ((((triple1 ((triple4 ((triple5) -> rule2)) -> rule1)) -> rule6)) -> rule8) OR ((((triple1 ((triple4 ((triple5 triple7) -> rule4)) -> rule1)) -> rule6)) -> rule8) OR ((((((triple5) -> rule2) ((triple4 ((triple5) -> rule2)) -> rule1)) -> rule6)) -> rule8) OR ((((((triple5) -> rule2) ((triple4 ((triple5 triple7) -> rule4)) -> rule1)) -> rule6)) -> rule8) OR ((((((triple5 triple7) -> rule4) ((triple4 ((triple5) -> rule2)) -> rule1)) -> rule6)) -> rule8) OR ((((((triple5 triple7) -> rule4) ((triple4 ((triple5 triple7) -> rule4)) -> rule1)) -> rule6)) -> rule8))] @2: The rabbit visits the cow.[(((triple1 ((triple4 triple1) -> rule1)) -> rule6) OR ((((triple5) -> rule2) ((triple4 triple1) -> rule1)) -> rule6) OR ((((triple5 triple7) -> rule4) ((triple4 triple1) -> rule1)) -> rule6) OR ((triple1 ((triple4 ((triple5) -> rule2)) -> rule1)) -> rule6) OR ((triple1 ((triple4 ((triple5 triple7) -> rule4)) -> rule1)) -> rule6) OR ((((triple5) -> rule2) ((triple4 ((triple5) -> rule2)) -> rule1)) -> rule6) OR ((((triple5) -> rule2) ((triple4 ((triple5 triple7) -> rule4)) -> rule1)) -> rule6) OR ((((triple5 triple7) -> rule4) ((triple4 ((triple5) -> rule2)) -> rule1)) -> rule6) OR ((((triple5 triple7) -> rule4) ((triple4 ((triple5 triple7) -> rule4)) -> rule1)) -> rule6))]