The cow eats the rabbit. The cow is green. The cow is red. The cow is rough. The cow is round. The cow sees the rabbit. The cow visits the rabbit. The rabbit eats the cow. The rabbit is green. The rabbit is kind. The rabbit is red. The rabbit is rough. The rabbit is round. The rabbit sees the cow. The rabbit visits the cow. If the cow sees the rabbit and the cow eats the rabbit then the rabbit visits the cow. If something sees the rabbit then the rabbit visits the cow. If something is round then it sees the cow. If something eats the cow and it sees the rabbit then it is round. If something is red and it eats the rabbit then it eats the cow. If something eats the rabbit then it eats the cow.
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is round.
("cow" "is" "round" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
If the cow sees the rabbit and the cow eats the rabbit then the rabbit visits the cow.
((("cow" "sees" "rabbit" "+") ("cow" "eats" "rabbit" "+")) -> ("rabbit" "visits" "cow" "+"))
If something sees the rabbit then the rabbit visits the cow.
((("something" "sees" "rabbit" "+")) -> ("rabbit" "visits" "cow" "+"))
If something is round then it sees the cow.
((("something" "is" "round" "+")) -> ("something" "sees" "cow" "+"))
If something eats the cow and it sees the rabbit then it is round.
((("something" "eats" "cow" "+") ("something" "sees" "rabbit" "+")) -> ("something" "is" "round" "+"))
If something is red and it eats the rabbit then it eats the cow.
((("something" "is" "red" "+") ("something" "eats" "rabbit" "+")) -> ("something" "eats" "cow" "+"))
If something eats the rabbit then it eats the cow.
((("something" "eats" "rabbit" "+")) -> ("something" "eats" "cow" "+"))
The rabbit is round.
True
1
proof
[(triple13)]
("rabbit" "is" "round" "+")
triple13
The rabbit does not visit the cow.
False
1
inv-proof
[(triple15 OR ((triple6) -> rule2) OR ((triple6 triple1) -> rule1))]
("rabbit" "visits" "cow" "-")
triple15
((triple6) -> (rule2 % int1))
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int1
((triple6 triple1) -> (rule1 % int1))
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int1
The rabbit does not eat the rabbit.
Unknown
inv-random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "-")
The cow is kind.
Unknown
random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "+")
@0: The cow eats the rabbit.[(triple1)] The cow is green.[(triple2)] The cow is red.[(triple3)] The cow is rough.[(triple4)] The cow is round.[(triple5 OR ((((triple1) -> rule6) triple6) -> rule4) OR ((((triple3 triple1) -> rule5) triple6) -> rule4))] The cow sees the rabbit.[(triple6)] The cow visits the rabbit.[(triple7)] The rabbit eats the cow.[(triple8)] The rabbit is green.[(triple9)] The rabbit is kind.[(triple10)] The rabbit is red.[(triple11)] The rabbit is rough.[(triple12)] The rabbit is round.[(triple13)] The rabbit sees the cow.[(triple14 OR ((triple13) -> rule3))] The rabbit visits the cow.[(triple15 OR ((triple6) -> rule2) OR ((triple6 triple1) -> rule1))] @1: The cow eats the cow.[(((triple1) -> rule6) OR ((triple3 triple1) -> rule5))] The cow sees the cow.[(((triple5) -> rule3) OR ((((((triple1) -> rule6) triple6) -> rule4)) -> rule3) OR ((((((triple3 triple1) -> rule5) triple6) -> rule4)) -> rule3))]
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple1
The cow is green.
("cow" "is" "green" "+")
triple2
The cow is red.
("cow" "is" "red" "+")
triple3
The cow is rough.
("cow" "is" "rough" "+")
triple4
The cow is round.
("cow" "is" "round" "+")
triple5
((((triple1) -> (rule6 % int2)) triple6) -> (rule4 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
((((triple3 triple1) -> (rule5 % int2)) triple6) -> (rule4 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple6
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple7
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple8
The rabbit is green.
("rabbit" "is" "green" "+")
triple9
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple10
The rabbit is red.
("rabbit" "is" "red" "+")
triple11
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple12
The rabbit is round.
("rabbit" "is" "round" "+")
triple13
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple14
((triple13) -> (rule3 % int1))
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
int1
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple15
((triple6) -> (rule2 % int1))
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int1
((triple6 triple1) -> (rule1 % int1))
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
((triple1) -> (rule6 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
((triple3 triple1) -> (rule5 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
((triple5) -> (rule3 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
((((((triple1) -> (rule6 % int3)) triple6) -> (rule4 % int2))) -> (rule3 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cow eats the cow.
("cow" "eats" "cow" "+")
int3
((((((triple3 triple1) -> (rule5 % int3)) triple6) -> (rule4 % int2))) -> (rule3 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cow eats the cow.
("cow" "eats" "cow" "+")
int3