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