The bald eagle is blue. The cow is big. The cow is blue. The cow is green. The cow needs the mouse. The cow visits the bald eagle. The cow visits the mouse. The cow visits the rabbit. The mouse eats the bald eagle. The mouse eats the cow. The mouse eats the rabbit. The mouse is big. The mouse needs the rabbit. The mouse visits the bald eagle. The mouse visits the rabbit. The rabbit is big. If the cow visits the rabbit then the cow is green. All big people are young. If someone visits the cow and the cow is green then the cow visits the bald eagle. If someone needs the cow then the cow needs the rabbit. If someone needs the cow and the cow eats the mouse then the cow is green. If the bald eagle eats the cow and the bald eagle visits the cow then the cow eats the rabbit. If someone is young and blue then they need the cow. If someone is green then they visit the bald eagle.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is green.
("cow" "is" "green" "+")
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
If the cow visits the rabbit then the cow is green.
((("cow" "visits" "rabbit" "+")) -> ("cow" "is" "green" "+"))
All big people are young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone visits the cow and the cow is green then the cow visits the bald eagle.
((("someone" "visits" "cow" "+") ("cow" "is" "green" "+")) -> ("cow" "visits" "bald eagle" "+"))
If someone needs the cow then the cow needs the rabbit.
((("someone" "needs" "cow" "+")) -> ("cow" "needs" "rabbit" "+"))
If someone needs the cow and the cow eats the mouse then the cow is green.
((("someone" "needs" "cow" "+") ("cow" "eats" "mouse" "+")) -> ("cow" "is" "green" "+"))
If the bald eagle eats the cow and the bald eagle visits the cow then the cow eats the rabbit.
((("bald eagle" "eats" "cow" "+") ("bald eagle" "visits" "cow" "+")) -> ("cow" "eats" "rabbit" "+"))
If someone is young and blue then they need the cow.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "needs" "cow" "+"))
If someone is green then they visit the bald eagle.
((("someone" "is" "green" "+")) -> ("someone" "visits" "bald eagle" "+"))
The mouse needs the rabbit.
True
1
proof
[(triple13)]
("mouse" "needs" "rabbit" "+")
triple13
The cow does not visit the bald eagle.
False
1
inv-proof
[(triple6 OR ((triple4) -> rule8) OR ((((triple8) -> rule1)) -> rule8))]
("cow" "visits" "bald eagle" "-")
triple6
((triple4) -> (rule8 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
((((triple8) -> (rule1 % int2))) -> (rule8 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The mouse is young.
True
2
proof
[(((triple12) -> rule2))]
("mouse" "is" "young" "+")
((triple12) -> (rule2 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The cow is not young.
False
2
inv-proof
[(((triple2) -> rule2))]
("cow" "is" "young" "-")
((triple2) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow needs the cow.
True
4
proof
[(((((triple2) -> rule2) triple3) -> rule7))]
("cow" "needs" "cow" "+")
((((triple2) -> (rule2 % int2)) triple3) -> (rule7 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow does not need the cow.
False
4
inv-proof
[(((((triple2) -> rule2) triple3) -> rule7))]
("cow" "needs" "cow" "-")
((((triple2) -> (rule2 % int2)) triple3) -> (rule7 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow needs the rabbit.
True
5
proof
[(((((((triple2) -> rule2) triple3) -> rule7)) -> rule4))]
("cow" "needs" "rabbit" "+")
((((((triple2) -> (rule2 % int3)) triple3) -> (rule7 % int2))) -> (rule4 % int1))
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
int1
The cow needs the cow.
("cow" "needs" "cow" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
The cow does not need the rabbit.
False
5
inv-proof
[(((((((triple2) -> rule2) triple3) -> rule7)) -> rule4))]
("cow" "needs" "rabbit" "-")
((((((triple2) -> (rule2 % int3)) triple3) -> (rule7 % int2))) -> (rule4 % int1))
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
int1
The cow needs the cow.
("cow" "needs" "cow" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
The rabbit does not visit the bald eagle.
Unknown
inv-rconc
[@1: The rabbit visits the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("rabbit" "visits" "bald eagle" "-")
The rabbit needs the cow.
Unknown
rconc
[@1: The rabbit needs the cow.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "needs" "cow" "+")
The bald eagle is not young.
Unknown
inv-rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "young" "-")
The bald eagle needs the cow.
Unknown
rconc
[@2: The bald eagle needs the cow.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("bald eagle" "needs" "cow" "+")
The rabbit does not eat the mouse.
Unknown
inv-random
[@0: The rabbit eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "mouse" "-")
The rabbit visits the cow.
Unknown
random
[@0: The rabbit visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "cow" "+")
The rabbit is not green.
Unknown
inv-random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "-")
The cow eats the bald eagle.
Unknown
random
[@0: The cow eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "bald eagle" "+")
@0: The bald eagle is blue.[(triple1)] The cow is big.[(triple2)] The cow is blue.[(triple3)] The cow is green.[(triple4 OR ((triple8) -> rule1))] The cow needs the mouse.[(triple5)] The cow visits the bald eagle.[(triple6 OR ((triple4) -> rule8) OR ((((triple8) -> rule1)) -> rule8))] The cow visits the mouse.[(triple7)] The cow visits the rabbit.[(triple8)] The mouse eats the bald eagle.[(triple9)] The mouse eats the cow.[(triple10)] The mouse eats the rabbit.[(triple11)] The mouse is big.[(triple12)] The mouse needs the rabbit.[(triple13)] The mouse visits the bald eagle.[(triple14)] The mouse visits the rabbit.[(triple15)] The rabbit is big.[(triple16)] @1: The cow is young.[(((triple2) -> rule2))] The mouse is young.[(((triple12) -> rule2))] The rabbit is young.[(((triple16) -> rule2))] @2: The cow needs the cow.[(((((triple2) -> rule2) triple3) -> rule7))] @3: The cow needs the rabbit.[(((((((triple2) -> rule2) triple3) -> rule7)) -> rule4))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The cow is big.
("cow" "is" "big" "+")
triple2
The cow is blue.
("cow" "is" "blue" "+")
triple3
The cow is green.
("cow" "is" "green" "+")
triple4
((triple8) -> (rule1 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple5
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple6
((triple4) -> (rule8 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
((((triple8) -> (rule1 % int2))) -> (rule8 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple7
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple8
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple9
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple10
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple11
The mouse is big.
("mouse" "is" "big" "+")
triple12
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple13
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple14
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple15
The rabbit is big.
("rabbit" "is" "big" "+")
triple16
The cow is young.
("cow" "is" "young" "+")
((triple2) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
((triple12) -> (rule2 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
((triple16) -> (rule2 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The cow needs the cow.
("cow" "needs" "cow" "+")
((((triple2) -> (rule2 % int2)) triple3) -> (rule7 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
((((((triple2) -> (rule2 % int3)) triple3) -> (rule7 % int2))) -> (rule4 % int1))
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
int1
The cow needs the cow.
("cow" "needs" "cow" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3