The bald eagle is round. The mouse is not blue. The rabbit is red. All red things are blue. If something is blue then it visits the bald eagle. If something is rough then it does not visit the bald eagle. If something is rough and it chases the rabbit then the rabbit does not visit the bald eagle. If the bald eagle does not eat the rabbit and the bald eagle does not eat the mouse then the bald eagle visits the mouse. If something visits the rabbit then the rabbit eats the mouse. If something chases the mouse and the mouse visits the rabbit then the mouse eats the bald eagle. If something visits the bald eagle and it visits the mouse then the bald eagle is not red.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The mouse is not blue.
("mouse" "is" "blue" "-")
The rabbit is red.
("rabbit" "is" "red" "+")
All red things are blue.
((("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
If something is blue then it visits the bald eagle.
((("something" "is" "blue" "+")) -> ("something" "visits" "bald eagle" "+"))
If something is rough then it does not visit the bald eagle.
((("something" "is" "rough" "+")) -> ("something" "visits" "bald eagle" "-"))
If something is rough and it chases the rabbit then the rabbit does not visit the bald eagle.
((("something" "is" "rough" "+") ("something" "chases" "rabbit" "+")) -> ("rabbit" "visits" "bald eagle" "-"))
If the bald eagle does not eat the rabbit and the bald eagle does not eat the mouse then the bald eagle visits the mouse.
((("bald eagle" "eats" "rabbit" "~") ("bald eagle" "eats" "mouse" "~")) -> ("bald eagle" "visits" "mouse" "+"))
If something visits the rabbit then the rabbit eats the mouse.
((("something" "visits" "rabbit" "+")) -> ("rabbit" "eats" "mouse" "+"))
If something chases the mouse and the mouse visits the rabbit then the mouse eats the bald eagle.
((("something" "chases" "mouse" "+") ("mouse" "visits" "rabbit" "+")) -> ("mouse" "eats" "bald eagle" "+"))
If something visits the bald eagle and it visits the mouse then the bald eagle is not red.
((("something" "visits" "bald eagle" "+") ("something" "visits" "mouse" "+")) -> ("bald eagle" "is" "red" "-"))
The bald eagle is round.
True
1
proof
[(triple1)]
("bald eagle" "is" "round" "+")
triple1
The rabbit is not red.
False
1
inv-proof
[(triple3)]
("rabbit" "is" "red" "-")
triple3
The rabbit is blue.
True
2
proof
[(((triple3) -> rule1))]
("rabbit" "is" "blue" "+")
((triple3) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is not blue.
False
2
inv-proof
[(((triple3) -> rule1))]
("rabbit" "is" "blue" "-")
((triple3) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit visits the bald eagle.
True
3
proof
[(((((triple3) -> rule1)) -> rule2))]
("rabbit" "visits" "bald eagle" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit does not visit the bald eagle.
False
3
inv-proof
[(((((triple3) -> rule1)) -> rule2))]
("rabbit" "visits" "bald eagle" "-")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The mouse does not visit the bald eagle.
Unknown
inv-rconc
[@1: The mouse visits the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "visits" "bald eagle" "-")
The bald eagle visits the mouse.
Unknown
rconc
[@1: The bald eagle visits the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "visits" "mouse" "+")
The bald eagle is not blue.
Unknown
inv-rconc
[@1: The bald eagle is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "blue" "-")
The mouse eats the rabbit.
Unknown
random
[@0: The mouse eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "rabbit" "+")
The rabbit does not chase the mouse.
Unknown
inv-random
[@0: The rabbit chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "mouse" "-")
The bald eagle chases the rabbit.
Unknown
random
[@0: The bald eagle chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "rabbit" "+")
@0: The bald eagle is round.[(triple1)] The mouse is not blue.[(triple2)] The rabbit is red.[(triple3)] @1: The rabbit is blue.[(((triple3) -> rule1))] @2: The rabbit visits the bald eagle.[(((((triple3) -> rule1)) -> rule2))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The mouse is not blue.
("mouse" "is" "blue" "-")
triple2
The rabbit is red.
("rabbit" "is" "red" "+")
triple3
The rabbit is blue.
("rabbit" "is" "blue" "+")
((triple3) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2