The bald eagle chases the mouse. The bald eagle is blue. The bald eagle is green. The bald eagle visits the rabbit. The mouse chases the bald eagle. The mouse is blue. The mouse is cold. The mouse is nice. The mouse sees the rabbit. The mouse visits the rabbit. The rabbit chases the mouse. The rabbit sees the bald eagle. If the mouse sees the rabbit and the mouse is nice then the rabbit is round.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
If the mouse sees the rabbit and the mouse is nice then the rabbit is round.
((("mouse" "sees" "rabbit" "+") ("mouse" "is" "nice" "+")) -> ("rabbit" "is" "round" "+"))
The mouse is cold.
True
1
proof
[(triple7)]
("mouse" "is" "cold" "+")
triple7
The mouse is not blue.
False
1
inv-proof
[(triple6)]
("mouse" "is" "blue" "-")
triple6
The rabbit is round.
True
3
proof
[(((triple9 triple8) -> rule1))]
("rabbit" "is" "round" "+")
((triple9 triple8) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit is not round.
False
3
inv-proof
[(((triple9 triple8) -> rule1))]
("rabbit" "is" "round" "-")
((triple9 triple8) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit is not green.
Unknown
inv-random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "-")
The mouse visits the mouse.
Unknown
random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "+")
The rabbit does not chase the bald eagle.
Unknown
inv-random
[@0: The rabbit chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "bald eagle" "-")
The rabbit visits the mouse.
Unknown
random
[@0: The rabbit visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "mouse" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle visits the rabbit.[(triple4)] The mouse chases the bald eagle.[(triple5)] The mouse is blue.[(triple6)] The mouse is cold.[(triple7)] The mouse is nice.[(triple8)] The mouse sees the rabbit.[(triple9)] The mouse visits the rabbit.[(triple10)] The rabbit chases the mouse.[(triple11)] The rabbit sees the bald eagle.[(triple12)] @1: The rabbit is round.[(((triple9 triple8) -> rule1))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple4
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple5
The mouse is blue.
("mouse" "is" "blue" "+")
triple6
The mouse is cold.
("mouse" "is" "cold" "+")
triple7
The mouse is nice.
("mouse" "is" "nice" "+")
triple8
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
triple9
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple10
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple11
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple12
The rabbit is round.
("rabbit" "is" "round" "+")
((triple9 triple8) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1