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