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 eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is round.
("cow" "is" "round" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
If the cow likes the rabbit and the cow eats the rabbit then the cow is kind.
((("cow" "likes" "rabbit" "+") ("cow" "eats" "rabbit" "+")) -> ("cow" "is" "kind" "+"))
If someone eats the cow then the cow eats the rabbit.
((("someone" "eats" "cow" "+")) -> ("cow" "eats" "rabbit" "+"))
If the rabbit likes the cow and the rabbit visits the cow then the rabbit eats the cow.
((("rabbit" "likes" "cow" "+") ("rabbit" "visits" "cow" "+")) -> ("rabbit" "eats" "cow" "+"))
If the rabbit eats the cow and the rabbit likes the cow then the cow eats the rabbit.
((("rabbit" "eats" "cow" "+") ("rabbit" "likes" "cow" "+")) -> ("cow" "eats" "rabbit" "+"))
If the cow is nice then the cow visits the rabbit.
((("cow" "is" "nice" "+")) -> ("cow" "visits" "rabbit" "+"))
If the cow eats the rabbit and the cow is kind then the rabbit visits the cow.
((("cow" "eats" "rabbit" "+") ("cow" "is" "kind" "+")) -> ("rabbit" "visits" "cow" "+"))
If someone likes the cow then the cow visits the rabbit.
((("someone" "likes" "cow" "+")) -> ("cow" "visits" "rabbit" "+"))
If someone visits the cow then the cow visits the rabbit.
((("someone" "visits" "cow" "+")) -> ("cow" "visits" "rabbit" "+"))
The rabbit is round.
True
1
proof
[(triple6)]
("rabbit" "is" "round" "+")
triple6
The cow is not round.
False
1
inv-proof
[(triple3)]
("cow" "is" "round" "-")
triple3
The cow does not visit the cow.
Unknown
inv-random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "-")
The cow is green.
Unknown
random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "+")
@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))]
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple1
((triple5) -> (rule2 % int1))
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int1
((triple5 triple7) -> (rule4 % int1))
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
triple2
The cow is round.
("cow" "is" "round" "+")
triple3
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple4
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple5
((triple7 ((triple1 ((triple4 triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int1
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
triple6
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple7
The cow is kind.
("cow" "is" "kind" "+")
((triple4 triple1) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
((triple4 ((triple5) -> (rule2 % int2))) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int2
((triple4 ((triple5 triple7) -> (rule4 % int2))) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int2
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
((triple2) -> (rule5 % int1))
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int1
((triple7) -> (rule7 % int1))
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int1
((((triple1 ((triple4 triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int1
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
((((((triple5) -> (rule2 % int4)) ((triple4 triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int1
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int4
((((((triple5 triple7) -> (rule4 % int4)) ((triple4 triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int1
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int4
((((triple1 ((triple4 ((triple5) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int1
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int4
((((triple1 ((triple4 ((triple5 triple7) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int1
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int4
((((((triple5) -> (rule2 % int4)) ((triple4 ((triple5) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int1
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int4
((((((triple5) -> (rule2 % int4)) ((triple4 ((triple5 triple7) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int1
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int4
((((((triple5 triple7) -> (rule4 % int4)) ((triple4 ((triple5) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int1
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int4
((((((triple5 triple7) -> (rule4 % int4)) ((triple4 ((triple5 triple7) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int1
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int4
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
((triple1 ((triple4 triple1) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
((((triple5) -> (rule2 % int3)) ((triple4 triple1) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int3
((((triple5 triple7) -> (rule4 % int3)) ((triple4 triple1) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int3
((triple1 ((triple4 ((triple5) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int3
((triple1 ((triple4 ((triple5 triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int3
((((triple5) -> (rule2 % int3)) ((triple4 ((triple5) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int3
((((triple5) -> (rule2 % int3)) ((triple4 ((triple5 triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int3
((((triple5 triple7) -> (rule4 % int3)) ((triple4 ((triple5) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int3
((((triple5 triple7) -> (rule4 % int3)) ((triple4 ((triple5 triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int3