The bald eagle eats the cow. The bald eagle is nice. The bald eagle is young. The bald eagle sees the mouse. The cow eats the bald eagle. The cow eats the mouse. The cow is blue. The cow is green. The cow is young. The cow sees the mouse. The mouse chases the bald eagle. The mouse chases the cow. The mouse eats the bald eagle. The mouse is green. The mouse sees the bald eagle. The mouse sees the cow. If someone chases the mouse then they chase the bald eagle. If someone is red then they see the mouse. If someone chases the cow and they see the cow then they eat the mouse. If the bald eagle sees the mouse and the bald eagle is nice then the bald eagle eats the mouse. If someone eats the bald eagle and they are red then they chase the cow. If someone is blue and they eat the mouse then they are nice.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is young.
("cow" "is" "young" "+")
The cow sees the mouse.
("cow" "sees" "mouse" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
If someone chases the mouse then they chase the bald eagle.
((("someone" "chases" "mouse" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone is red then they see the mouse.
((("someone" "is" "red" "+")) -> ("someone" "sees" "mouse" "+"))
If someone chases the cow and they see the cow then they eat the mouse.
((("someone" "chases" "cow" "+") ("someone" "sees" "cow" "+")) -> ("someone" "eats" "mouse" "+"))
If the bald eagle sees the mouse and the bald eagle is nice then the bald eagle eats the mouse.
((("bald eagle" "sees" "mouse" "+") ("bald eagle" "is" "nice" "+")) -> ("bald eagle" "eats" "mouse" "+"))
If someone eats the bald eagle and they are red then they chase the cow.
((("someone" "eats" "bald eagle" "+") ("someone" "is" "red" "+")) -> ("someone" "chases" "cow" "+"))
If someone is blue and they eat the mouse then they are nice.
((("someone" "is" "blue" "+") ("someone" "eats" "mouse" "+")) -> ("someone" "is" "nice" "+"))
The mouse eats the bald eagle.
True
1
proof
[(triple13)]
("mouse" "eats" "bald eagle" "+")
triple13
The cow is not blue.
False
1
inv-proof
[(triple7)]
("cow" "is" "blue" "-")
triple7
The mouse eats the mouse.
True
3
proof
[(((triple12 triple16) -> rule3))]
("mouse" "eats" "mouse" "+")
((triple12 triple16) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The bald eagle does not eat the mouse.
False
3
inv-proof
[(((triple4 triple2) -> rule4))]
("bald eagle" "eats" "mouse" "-")
((triple4 triple2) -> (rule4 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The cow does not chase the cow.
Unknown
inv-rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "chases" "cow" "-")
The bald eagle chases the cow.
Unknown
rconc
[@1: The bald eagle chases the cow.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "chases" "cow" "+")
The bald eagle does not see the cow.
Unknown
inv-random
[@0: The bald eagle sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "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 eats the cow.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle sees the mouse.[(triple4)] The cow eats the bald eagle.[(triple5)] The cow eats the mouse.[(triple6)] The cow is blue.[(triple7)] The cow is green.[(triple8)] The cow is young.[(triple9)] The cow sees the mouse.[(triple10)] The mouse chases the bald eagle.[(triple11)] The mouse chases the cow.[(triple12)] The mouse eats the bald eagle.[(triple13)] The mouse is green.[(triple14)] The mouse sees the bald eagle.[(triple15)] The mouse sees the cow.[(triple16)] @1: The bald eagle eats the mouse.[(((triple4 triple2) -> rule4))] The cow is nice.[(((triple7 triple6) -> rule6))] The mouse eats the mouse.[(((triple12 triple16) -> rule3))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple4
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple5
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple6
The cow is blue.
("cow" "is" "blue" "+")
triple7
The cow is green.
("cow" "is" "green" "+")
triple8
The cow is young.
("cow" "is" "young" "+")
triple9
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple10
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple11
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple12
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple13
The mouse is green.
("mouse" "is" "green" "+")
triple14
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple15
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple16
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
((triple4 triple2) -> (rule4 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
((triple7 triple6) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
((triple12 triple16) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1