The bald eagle chases the squirrel. The bald eagle is blue. The bald eagle is rough. The bald eagle likes the bear. The bald eagle does not see the cow. The bear chases the cow. The bear is blue. The bear is cold. The bear sees the squirrel. The cow is red. The cow likes the squirrel. The squirrel chases the bald eagle. The squirrel chases the bear. The squirrel chases the cow. The squirrel likes the bear. If something chases the cow then it is round. If the bear is round then the bear likes the bald eagle.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle does not see the cow.
("bald eagle" "sees" "cow" "-")
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The cow is red.
("cow" "is" "red" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
If something chases the cow then it is round.
((("something" "chases" "cow" "+")) -> ("something" "is" "round" "+"))
If the bear is round then the bear likes the bald eagle.
((("bear" "is" "round" "+")) -> ("bear" "likes" "bald eagle" "+"))
The squirrel chases the bald eagle.
True
1
proof
[(triple12)]
("squirrel" "chases" "bald eagle" "+")
triple12
The cow does not like the squirrel.
False
1
inv-proof
[(triple11)]
("cow" "likes" "squirrel" "-")
triple11
The bear is round.
True
2
proof
[(((triple6) -> rule1))]
("bear" "is" "round" "+")
((triple6) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is not round.
False
2
inv-proof
[(((triple6) -> rule1))]
("bear" "is" "round" "-")
((triple6) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear likes the bald eagle.
True
3
proof
[(((((triple6) -> rule1)) -> rule2))]
("bear" "likes" "bald eagle" "+")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear does not like the bald eagle.
False
3
inv-proof
[(((((triple6) -> rule1)) -> rule2))]
("bear" "likes" "bald eagle" "-")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The cow is not round.
Unknown
inv-rconc
[@1: The cow is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "round" "-")
The bald eagle is round.
Unknown
rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "round" "+")
The bear does not chase the squirrel.
Unknown
inv-random
[@0: The bear chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "squirrel" "-")
The cow likes the bald eagle.
Unknown
random
[@0: The cow likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "bald eagle" "+")
The squirrel is not cold.
Unknown
inv-random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "-")
The bear is red.
Unknown
random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle does not see the cow.[(triple5)] The bald eagle is blue.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle likes the bear.[(triple4)] The bear chases the cow.[(triple6)] The bear is blue.[(triple7)] The bear is cold.[(triple8)] The bear sees the squirrel.[(triple9)] The cow is red.[(triple10)] The cow likes the squirrel.[(triple11)] The squirrel chases the bald eagle.[(triple12)] The squirrel chases the bear.[(triple13)] The squirrel chases the cow.[(triple14)] The squirrel likes the bear.[(triple15)] @1: The bear is round.[(((triple6) -> rule1))] The squirrel is round.[(((triple14) -> rule1))] @2: The bear likes the bald eagle.[(((((triple6) -> rule1)) -> rule2))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle does not see the cow.
("bald eagle" "sees" "cow" "-")
triple5
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple4
The bear chases the cow.
("bear" "chases" "cow" "+")
triple6
The bear is blue.
("bear" "is" "blue" "+")
triple7
The bear is cold.
("bear" "is" "cold" "+")
triple8
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple9
The cow is red.
("cow" "is" "red" "+")
triple10
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple11
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple12
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple13
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple14
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple15
The bear is round.
("bear" "is" "round" "+")
((triple6) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
((triple14) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2