The bear is rough. The bear is young. The bear sees the cow. The bear sees the rabbit. The bear visits the cow. The cow is blue. The cow is young. The cow sees the bear. The cow sees the rabbit. The rabbit eats the bear. If someone is blue and they see the cow then they see the rabbit. If someone is young and they eat the bear then the bear is young. If someone sees the rabbit then the rabbit visits the cow. If someone sees the rabbit and they see the bear then the rabbit visits the bear. If someone is rough and they see the cow then they are green. If someone eats the bear and the bear is green then the bear visits the rabbit.
The bear is rough.
("bear" "is" "rough" "+")
The bear is young.
("bear" "is" "young" "+")
The bear sees the cow.
("bear" "sees" "cow" "+")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is young.
("cow" "is" "young" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
If someone is blue and they see the cow then they see the rabbit.
((("someone" "is" "blue" "+") ("someone" "sees" "cow" "+")) -> ("someone" "sees" "rabbit" "+"))
If someone is young and they eat the bear then the bear is young.
((("someone" "is" "young" "+") ("someone" "eats" "bear" "+")) -> ("bear" "is" "young" "+"))
If someone sees the rabbit then the rabbit visits the cow.
((("someone" "sees" "rabbit" "+")) -> ("rabbit" "visits" "cow" "+"))
If someone sees the rabbit and they see the bear then the rabbit visits the bear.
((("someone" "sees" "rabbit" "+") ("someone" "sees" "bear" "+")) -> ("rabbit" "visits" "bear" "+"))
If someone is rough and they see the cow then they are green.
((("someone" "is" "rough" "+") ("someone" "sees" "cow" "+")) -> ("someone" "is" "green" "+"))
If someone eats the bear and the bear is green then the bear visits the rabbit.
((("someone" "eats" "bear" "+") ("bear" "is" "green" "+")) -> ("bear" "visits" "rabbit" "+"))
The bear visits the cow.
True
1
proof
[(triple5)]
("bear" "visits" "cow" "+")
triple5
The bear is not young.
False
1
inv-proof
[(triple2)]
("bear" "is" "young" "-")
triple2
The rabbit visits the bear.
True
3
proof
[(((triple9 triple8) -> rule4))]
("rabbit" "visits" "bear" "+")
((triple9 triple8) -> (rule4 % int1))
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int1
The rabbit does not visit the bear.
False
3
inv-proof
[(((triple9 triple8) -> rule4))]
("rabbit" "visits" "bear" "-")
((triple9 triple8) -> (rule4 % int1))
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int1
The bear visits the rabbit.
True
5
proof
[(((triple10 ((triple1 triple3) -> rule5)) -> rule6))]
("bear" "visits" "rabbit" "+")
((triple10 ((triple1 triple3) -> (rule5 % int2))) -> (rule6 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear does not visit the rabbit.
False
5
inv-proof
[(((triple10 ((triple1 triple3) -> rule5)) -> rule6))]
("bear" "visits" "rabbit" "-")
((triple10 ((triple1 triple3) -> (rule5 % int2))) -> (rule6 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The rabbit is not green.
Unknown
inv-rconc
[@1: The rabbit is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "is" "green" "-")
The rabbit sees the rabbit.
Unknown
rconc
[@1: The rabbit sees the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "sees" "rabbit" "+")
The cow is not green.
Unknown
inv-rconc
[@1: The cow is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "is" "green" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
The rabbit is not rough.
Unknown
inv-random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "-")
The cow eats the bear.
Unknown
random
[@0: The cow eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "bear" "+")
@0: The bear is rough.[(triple1)] The bear is young.[(triple2)] The bear sees the cow.[(triple3)] The bear sees the rabbit.[(triple4)] The bear visits the cow.[(triple5)] The cow is blue.[(triple6)] The cow is young.[(triple7)] The cow sees the bear.[(triple8)] The cow sees the rabbit.[(triple9)] The rabbit eats the bear.[(triple10)] @1: The bear is green.[(((triple1 triple3) -> rule5))] The rabbit visits the bear.[(((triple9 triple8) -> rule4))] The rabbit visits the cow.[(((triple4) -> rule3) OR ((triple9) -> rule3))] @2: The bear visits the rabbit.[(((triple10 ((triple1 triple3) -> rule5)) -> rule6))]
The bear is rough.
("bear" "is" "rough" "+")
triple1
The bear is young.
("bear" "is" "young" "+")
triple2
The bear sees the cow.
("bear" "sees" "cow" "+")
triple3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple4
The bear visits the cow.
("bear" "visits" "cow" "+")
triple5
The cow is blue.
("cow" "is" "blue" "+")
triple6
The cow is young.
("cow" "is" "young" "+")
triple7
The cow sees the bear.
("cow" "sees" "bear" "+")
triple8
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple9
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple10
The bear is green.
("bear" "is" "green" "+")
((triple1 triple3) -> (rule5 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
((triple9 triple8) -> (rule4 % int1))
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int1
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
((triple4) -> (rule3 % int1))
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int1
((triple9) -> (rule3 % int1))
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
((triple10 ((triple1 triple3) -> (rule5 % int2))) -> (rule6 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2