The cow sees the mouse. The cow visits the mouse. The mouse is blue. If someone sees the mouse then they are blue.
The cow sees the mouse.
("cow" "sees" "mouse" "+")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
If someone sees the mouse then they are blue.
((("someone" "sees" "mouse" "+")) -> ("someone" "is" "blue" "+"))
The mouse is blue.
True
1
proof
[(triple3)]
("mouse" "is" "blue" "+")
triple3
The mouse is not blue.
False
1
inv-proof
[(triple3)]
("mouse" "is" "blue" "-")
triple3
The cow is blue.
True
2
proof
[(((triple1) -> rule1))]
("cow" "is" "blue" "+")
((triple1) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow is not blue.
False
2
inv-proof
[(((triple1) -> rule1))]
("cow" "is" "blue" "-")
((triple1) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The mouse does not chase the mouse.
Unknown
inv-random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "-")
The mouse chases the cow.
Unknown
random
[@0: The mouse chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "cow" "+")
The mouse does not visit the mouse.
Unknown
inv-random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "-")
The mouse is big.
Unknown
random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "+")
@0: The cow sees the mouse.[(triple1)] The cow visits the mouse.[(triple2)] The mouse is blue.[(triple3)] @1: The cow is blue.[(((triple1) -> rule1))]
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple1
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple2
The mouse is blue.
("mouse" "is" "blue" "+")
triple3
The cow is blue.
("cow" "is" "blue" "+")
((triple1) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1