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