The mouse is red. If someone is red and blue then they are green. If someone is cold and blue then they are red. All green people are cold. If someone is red then they are blue. Red, blue people are cold. Cold people are red.
The mouse is red.
("mouse" "is" "red" "+")
If someone is red and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and blue then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
All green people are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
Red, blue people are cold.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
Cold people are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
The mouse is red.
True
1
proof
[(triple1)]
("mouse" "is" "red" "+")
triple1
The mouse is not red.
False
1
inv-proof
[(triple1)]
("mouse" "is" "red" "-")
triple1
The mouse is not big.
Unknown
inv-random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
@0: The mouse is red.[(triple1)] @1: The mouse is blue.[(((triple1) -> rule4))] @2: The mouse is cold.[(((triple1 ((triple1) -> rule4)) -> rule5) OR ((((triple1 ((triple1) -> rule4)) -> rule1)) -> rule3))] The mouse is green.[(((triple1 ((triple1) -> rule4)) -> rule1))]
The mouse is red.
("mouse" "is" "red" "+")
triple1
The mouse is blue.
("mouse" "is" "blue" "+")
((triple1) -> (rule4 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
((triple1 ((triple1) -> (rule4 % int2))) -> (rule5 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
((((triple1 ((triple1) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse is green.
("mouse" "is" "green" "+")
((triple1 ((triple1) -> (rule4 % int2))) -> (rule1 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2