The bear is blue. The bear is green. The bear is kind. The bear likes the cow. The bear visits the cow. The cow eats the bear. The cow is green. The cow is round. The cow likes the bear. The cow visits the bear. If someone eats the cow and they are cold then they like the cow. If the cow is round then the cow eats the bear.
The bear is blue.
("bear" "is" "blue" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is round.
("cow" "is" "round" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
If someone eats the cow and they are cold then they like the cow.
((("someone" "eats" "cow" "+") ("someone" "is" "cold" "+")) -> ("someone" "likes" "cow" "+"))
If the cow is round then the cow eats the bear.
((("cow" "is" "round" "+")) -> ("cow" "eats" "bear" "+"))
The bear is kind.
True
1
proof
[(triple3)]
("bear" "is" "kind" "+")
triple3
The bear is not blue.
False
1
inv-proof
[(triple1)]
("bear" "is" "blue" "-")
triple1
The cow does not like the cow.
Unknown
inv-rconc
[@1: The cow likes the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "likes" "cow" "-")
The cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
@0: The bear is blue.[(triple1)] The bear is green.[(triple2)] The bear is kind.[(triple3)] The bear likes the cow.[(triple4)] The bear visits the cow.[(triple5)] The cow eats the bear.[(triple6 OR ((triple8) -> rule2))] The cow is green.[(triple7)] The cow is round.[(triple8)] The cow likes the bear.[(triple9)] The cow visits the bear.[(triple10)]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear likes the cow.
("bear" "likes" "cow" "+")
triple4
The bear visits the cow.
("bear" "visits" "cow" "+")
triple5
The cow eats the bear.
("cow" "eats" "bear" "+")
triple6
((triple8) -> (rule2 % int1))
The cow eats the bear.
("cow" "eats" "bear" "+")
int1
The cow is green.
("cow" "is" "green" "+")
triple7
The cow is round.
("cow" "is" "round" "+")
triple8
The cow likes the bear.
("cow" "likes" "bear" "+")
triple9
The cow visits the bear.
("cow" "visits" "bear" "+")
triple10