The bald eagle is nice. The mouse chases the rabbit. The rabbit visits the bald eagle. If something chases the rabbit then it is not rough. If the rabbit is nice and the rabbit does not need the mouse then the mouse chases the rabbit.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
If something chases the rabbit then it is not rough.
((("something" "chases" "rabbit" "+")) -> ("something" "is" "rough" "-"))
If the rabbit is nice and the rabbit does not need the mouse then the mouse chases the rabbit.
((("rabbit" "is" "nice" "+") ("rabbit" "needs" "mouse" "~")) -> ("mouse" "chases" "rabbit" "+"))
The mouse chases the rabbit.
True
1
proof
[(triple2)]
("mouse" "chases" "rabbit" "+")
triple2
The rabbit does not visit the bald eagle.
False
1
inv-proof
[(triple3)]
("rabbit" "visits" "bald eagle" "-")
triple3
The mouse is not rough.
True
2
proof
[(((triple2) -> rule1))]
("mouse" "is" "rough" "-")
((triple2) -> (rule1 % int1))
The mouse is not rough.
("mouse" "is" "rough" "-")
int1
The mouse is rough.
False
2
inv-proof
[(((triple2) -> rule1))]
("mouse" "is" "rough" "+")
((triple2) -> (rule1 % int1))
The mouse is not rough.
("mouse" "is" "rough" "-")
int1
The rabbit is not nice.
Unknown
inv-random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "-")
The mouse is nice.
Unknown
random
[@0: The mouse is nice.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "nice" "+")
The bald eagle does not visit the rabbit.
Unknown
inv-random
[@0: The bald eagle visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "rabbit" "-")
The mouse visits the rabbit.
Unknown
random
[@0: The mouse visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "rabbit" "+")
@0: The bald eagle is nice.[(triple1)] The mouse chases the rabbit.[(triple2)] The rabbit visits the bald eagle.[(triple3)] @1: The mouse is not rough.[(((triple2) -> rule1))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple2
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple3
The mouse is not rough.
("mouse" "is" "rough" "-")
((triple2) -> (rule1 % int1))
The mouse is not rough.
("mouse" "is" "rough" "-")
int1