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