The mouse is not blue. The mouse is not cold. The mouse is green. The mouse is red. The mouse is rough. Cold, green people are red. Blue, cold people are red. If someone is green and not cold then they are red. Green, cold people are not blue. All cold people are green. All cold, rough people are not green. All cold people are rough. All green people are rough.
The mouse is not blue.
("mouse" "is" "blue" "-")
The mouse is not cold.
("mouse" "is" "cold" "-")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
Cold, green people are red.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
Blue, cold people are red.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is green and not cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "red" "+"))
Green, cold people are not blue.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "-"))
All cold people are green.
((("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
All cold, rough people are not green.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "-"))
All cold people are rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
All green people are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
The mouse is rough.
True
1
proof
[(triple5 OR ((triple3) -> rule8))]
("mouse" "is" "rough" "+")
triple5
((triple3) -> (rule8 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is not green.
False
1
inv-proof
[(triple3)]
("mouse" "is" "green" "-")
triple3
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 sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
@0: The mouse is green.[(triple3)] The mouse is not blue.[(triple1)] The mouse is not cold.[(triple2)] The mouse is red.[(triple4 OR ((triple3 triple2) -> rule3))] The mouse is rough.[(triple5 OR ((triple3) -> rule8))]
The mouse is green.
("mouse" "is" "green" "+")
triple3
The mouse is not blue.
("mouse" "is" "blue" "-")
triple1
The mouse is not cold.
("mouse" "is" "cold" "-")
triple2
The mouse is red.
("mouse" "is" "red" "+")
triple4
((triple3 triple2) -> (rule3 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
triple5
((triple3) -> (rule8 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1