The bald eagle visits the bear. The bear eats the bald eagle. The bear does not eat the squirrel. The bear is green. The bear visits the bald eagle. The cow chases the squirrel. The cow eats the bald eagle. The cow eats the bear. The cow does not eat the squirrel. The cow is rough. The cow is not young. The cow visits the squirrel. The squirrel chases the cow. The squirrel eats the bald eagle. The squirrel is kind. If someone visits the bald eagle and they do not visit the cow then the cow is young. If someone eats the bald eagle and they are young then the bald eagle chases the bear. If the bald eagle is young and the bald eagle does not eat the bear then the bald eagle chases the bear. If someone visits the squirrel then the squirrel chases the bear. If someone chases the cow then they visit the squirrel. If someone eats the bear then the bear is not kind. If someone is kind then they are young. If someone chases the squirrel and they are not green then the squirrel is rough.
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear does not eat the squirrel.
("bear" "eats" "squirrel" "-")
The bear is green.
("bear" "is" "green" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow does not eat the squirrel.
("cow" "eats" "squirrel" "-")
The cow is rough.
("cow" "is" "rough" "+")
The cow is not young.
("cow" "is" "young" "-")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
If someone visits the bald eagle and they do not visit the cow then the cow is young.
((("someone" "visits" "bald eagle" "+") ("someone" "visits" "cow" "~")) -> ("cow" "is" "young" "+"))
If someone eats the bald eagle and they are young then the bald eagle chases the bear.
((("someone" "eats" "bald eagle" "+") ("someone" "is" "young" "+")) -> ("bald eagle" "chases" "bear" "+"))
If the bald eagle is young and the bald eagle does not eat the bear then the bald eagle chases the bear.
((("bald eagle" "is" "young" "+") ("bald eagle" "eats" "bear" "~")) -> ("bald eagle" "chases" "bear" "+"))
If someone visits the squirrel then the squirrel chases the bear.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "chases" "bear" "+"))
If someone chases the cow then they visit the squirrel.
((("someone" "chases" "cow" "+")) -> ("someone" "visits" "squirrel" "+"))
If someone eats the bear then the bear is not kind.
((("someone" "eats" "bear" "+")) -> ("bear" "is" "kind" "-"))
If someone is kind then they are young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone chases the squirrel and they are not green then the squirrel is rough.
((("someone" "chases" "squirrel" "+") ("someone" "is" "green" "~")) -> ("squirrel" "is" "rough" "+"))
The bear is green.
True
1
proof
[(triple4)]
("bear" "is" "green" "+")
triple4
The cow eats the squirrel.
False
1
inv-proof
[(triple9)]
("cow" "eats" "squirrel" "+")
triple9
The squirrel is young.
True
2
proof
[(((triple15) -> rule7))]
("squirrel" "is" "young" "+")
((triple15) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is not young.
False
2
inv-proof
[(((triple15) -> rule7))]
("squirrel" "is" "young" "-")
((triple15) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The bald eagle chases the bear.
True
4
proof
[(((triple14 ((triple15) -> rule7)) -> rule2))]
("bald eagle" "chases" "bear" "+")
((triple14 ((triple15) -> (rule7 % int2))) -> (rule2 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The bald eagle does not chase the bear.
False
4
inv-proof
[(((triple14 ((triple15) -> rule7)) -> rule2))]
("bald eagle" "chases" "bear" "-")
((triple14 ((triple15) -> (rule7 % int2))) -> (rule2 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The bald eagle does not visit the squirrel.
Unknown
inv-rconc
[@1: The bald eagle visits the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "visits" "squirrel" "-")
The bear is young.
Unknown
rconc
[@1: The bear is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "is" "young" "+")
The bald eagle is not young.
Unknown
inv-rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "is" "young" "-")
The squirrel is green.
Unknown
random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "+")
The bear is not rough.
Unknown
inv-random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
@0: The bald eagle visits the bear.[(triple1)] The bear does not eat the squirrel.[(triple3)] The bear eats the bald eagle.[(triple2)] The bear is green.[(triple4)] The bear visits the bald eagle.[(triple5)] The cow chases the squirrel.[(triple6)] The cow does not eat the squirrel.[(triple9)] The cow eats the bald eagle.[(triple7)] The cow eats the bear.[(triple8)] The cow is not young.[(triple11)] The cow is rough.[(triple10)] The cow visits the squirrel.[(triple12)] The squirrel chases the cow.[(triple13)] The squirrel eats the bald eagle.[(triple14)] The squirrel is kind.[(triple15)] @1: The bear is not kind.[(((triple8) -> rule6))] The squirrel chases the bear.[(((triple12) -> rule4) OR ((((triple13) -> rule5)) -> rule4))] The squirrel is young.[(((triple15) -> rule7))] The squirrel visits the squirrel.[(((triple13) -> rule5))] @2: The bald eagle chases the bear.[(((triple14 ((triple15) -> rule7)) -> rule2))]
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple1
The bear does not eat the squirrel.
("bear" "eats" "squirrel" "-")
triple3
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple4
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple5
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple6
The cow does not eat the squirrel.
("cow" "eats" "squirrel" "-")
triple9
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple7
The cow eats the bear.
("cow" "eats" "bear" "+")
triple8
The cow is not young.
("cow" "is" "young" "-")
triple11
The cow is rough.
("cow" "is" "rough" "+")
triple10
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple12
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple13
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple14
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple15
The bear is not kind.
("bear" "is" "kind" "-")
((triple8) -> (rule6 % int1))
The bear is not kind.
("bear" "is" "kind" "-")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
((triple12) -> (rule4 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
((((triple13) -> (rule5 % int2))) -> (rule4 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
((triple15) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((triple13) -> (rule5 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
((triple14 ((triple15) -> (rule7 % int2))) -> (rule2 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2