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