The bear eats the rabbit. The bear is cold. The bear is round. The bear does not see the rabbit. The cow eats the rabbit. The cow is kind. The cow does not visit the rabbit. The rabbit eats the cow. The rabbit is cold. The rabbit sees the cow. The rabbit visits the bear. The rabbit visits the cow. If something sees the cow then the cow does not eat the bear.
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is round.
("bear" "is" "round" "+")
The bear does not see the rabbit.
("bear" "sees" "rabbit" "-")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow does not visit the rabbit.
("cow" "visits" "rabbit" "-")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
If something sees the cow then the cow does not eat the bear.
((("something" "sees" "cow" "+")) -> ("cow" "eats" "bear" "-"))
The rabbit visits the cow.
True
1
proof
[(triple12)]
("rabbit" "visits" "cow" "+")
triple12
The cow does not eat the rabbit.
False
1
inv-proof
[(triple5)]
("cow" "eats" "rabbit" "-")
triple5
The cow does not eat the bear.
True
2
proof
[(((triple10) -> rule1))]
("cow" "eats" "bear" "-")
((triple10) -> (rule1 % int1))
The cow does not eat the bear.
("cow" "eats" "bear" "-")
int1
The cow eats the bear.
False
2
inv-proof
[(((triple10) -> rule1))]
("cow" "eats" "bear" "+")
((triple10) -> (rule1 % int1))
The cow does not eat the bear.
("cow" "eats" "bear" "-")
int1
The bear does not visit the cow.
Unknown
inv-random
[@0: The bear visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "cow" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
The cow is not young.
Unknown
inv-random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
@0: The bear does not see the rabbit.[(triple4)] The bear eats the rabbit.[(triple1)] The bear is cold.[(triple2)] The bear is round.[(triple3)] The cow does not visit the rabbit.[(triple7)] The cow eats the rabbit.[(triple5)] The cow is kind.[(triple6)] The rabbit eats the cow.[(triple8)] The rabbit is cold.[(triple9)] The rabbit sees the cow.[(triple10)] The rabbit visits the bear.[(triple11)] The rabbit visits the cow.[(triple12)] @1: The cow does not eat the bear.[(((triple10) -> rule1))]
The bear does not see the rabbit.
("bear" "sees" "rabbit" "-")
triple4
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The cow does not visit the rabbit.
("cow" "visits" "rabbit" "-")
triple7
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple5
The cow is kind.
("cow" "is" "kind" "+")
triple6
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple8
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple9
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple10
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple11
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple12
The cow does not eat the bear.
("cow" "eats" "bear" "-")
((triple10) -> (rule1 % int1))
The cow does not eat the bear.
("cow" "eats" "bear" "-")
int1