The bear visits the cow. The cow is young. The cow visits the bear. If someone is cold and they chase the cow then the cow eats the bear. If someone is rough then they eat the cow. If someone is kind then they chase the bear. If someone eats the bear then they chase the bear. If the cow chases the bear then the bear chases the cow. If someone is young and they visit the cow then the cow visits the bear. If someone is young then they eat the bear. If someone chases the bear then they are cold.
The bear visits the cow.
("bear" "visits" "cow" "+")
The cow is young.
("cow" "is" "young" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
If someone is cold and they chase the cow then the cow eats the bear.
((("someone" "is" "cold" "+") ("someone" "chases" "cow" "+")) -> ("cow" "eats" "bear" "+"))
If someone is rough then they eat the cow.
((("someone" "is" "rough" "+")) -> ("someone" "eats" "cow" "+"))
If someone is kind then they chase the bear.
((("someone" "is" "kind" "+")) -> ("someone" "chases" "bear" "+"))
If someone eats the bear then they chase the bear.
((("someone" "eats" "bear" "+")) -> ("someone" "chases" "bear" "+"))
If the cow chases the bear then the bear chases the cow.
((("cow" "chases" "bear" "+")) -> ("bear" "chases" "cow" "+"))
If someone is young and they visit the cow then the cow visits the bear.
((("someone" "is" "young" "+") ("someone" "visits" "cow" "+")) -> ("cow" "visits" "bear" "+"))
If someone is young then they eat the bear.
((("someone" "is" "young" "+")) -> ("someone" "eats" "bear" "+"))
If someone chases the bear then they are cold.
((("someone" "chases" "bear" "+")) -> ("someone" "is" "cold" "+"))
The cow is young.
True
1
proof
[(triple2)]
("cow" "is" "young" "+")
triple2
The cow does not visit the bear.
False
1
inv-proof
[(triple3)]
("cow" "visits" "bear" "-")
triple3
The cow eats the bear.
True
2
proof
[(((triple2) -> rule7))]
("cow" "eats" "bear" "+")
((triple2) -> (rule7 % int1))
The cow eats the bear.
("cow" "eats" "bear" "+")
int1
The cow does not eat the bear.
False
2
inv-proof
[(((triple2) -> rule7))]
("cow" "eats" "bear" "-")
((triple2) -> (rule7 % int1))
The cow eats the bear.
("cow" "eats" "bear" "+")
int1
The bear does not eat the cow.
Unknown
inv-rconc
[@1: The bear eats the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "eats" "cow" "-")
The bear is cold.
Unknown
rconc
[@3: The bear is cold.[CWA. Example of deepest failure = (rule8 <- rule4 <- rule7 <- FAIL)]]
("bear" "is" "cold" "+")
The bear is not blue.
Unknown
inv-random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "-")
The bear is rough.
Unknown
random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "+")
@0: The bear visits the cow.[(triple1)] The cow is young.[(triple2)] The cow visits the bear.[(triple3)] @1: The cow eats the bear.[(((triple2) -> rule7))] @2: The cow chases the bear.[(((((triple2) -> rule7)) -> rule4))] @3: The bear chases the cow.[(((((((triple2) -> rule7)) -> rule4)) -> rule5))] The cow is cold.[(((((((triple2) -> rule7)) -> rule4)) -> rule8))]
The bear visits the cow.
("bear" "visits" "cow" "+")
triple1
The cow is young.
("cow" "is" "young" "+")
triple2
The cow visits the bear.
("cow" "visits" "bear" "+")
triple3
The cow eats the bear.
("cow" "eats" "bear" "+")
((triple2) -> (rule7 % int1))
The cow eats the bear.
("cow" "eats" "bear" "+")
int1
The cow chases the bear.
("cow" "chases" "bear" "+")
((((triple2) -> (rule7 % int2))) -> (rule4 % int1))
The cow chases the bear.
("cow" "chases" "bear" "+")
int1
The cow eats the bear.
("cow" "eats" "bear" "+")
int2
The bear chases the cow.
("bear" "chases" "cow" "+")
((((((triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The bear chases the cow.
("bear" "chases" "cow" "+")
int1
The cow chases the bear.
("cow" "chases" "bear" "+")
int2
The cow eats the bear.
("cow" "eats" "bear" "+")
int3
The cow is cold.
("cow" "is" "cold" "+")
((((((triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow chases the bear.
("cow" "chases" "bear" "+")
int2
The cow eats the bear.
("cow" "eats" "bear" "+")
int3