The mouse is blue. The mouse is cold. The mouse is green. The mouse is red. The mouse is young. If someone is red and blue then they are green. If someone is blue and cold then they are young.
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is young.
("mouse" "is" "young" "+")
If someone is red and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and cold then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
The mouse is blue.
True
1
proof
[(triple1)]
("mouse" "is" "blue" "+")
triple1
The mouse is not green.
False
1
inv-proof
[(triple3 OR ((triple4 triple1) -> rule1))]
("mouse" "is" "green" "-")
triple3
((triple4 triple1) -> (rule1 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse does not see the mouse.
Unknown
inv-random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "-")
The mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
@0: The mouse is blue.[(triple1)] The mouse is cold.[(triple2)] The mouse is green.[(triple3 OR ((triple4 triple1) -> rule1))] The mouse is red.[(triple4)] The mouse is young.[(triple5 OR ((triple1 triple2) -> rule2))]
The mouse is blue.
("mouse" "is" "blue" "+")
triple1
The mouse is cold.
("mouse" "is" "cold" "+")
triple2
The mouse is green.
("mouse" "is" "green" "+")
triple3
((triple4 triple1) -> (rule1 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
triple4
The mouse is young.
("mouse" "is" "young" "+")
triple5
((triple1 triple2) -> (rule2 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1