The mouse is nice. All nice, big people are blue. If the mouse is nice then the mouse is cold. Blue, nice people are cold. If the mouse is big and the mouse is blue then the mouse is nice. All cold people are big. If the mouse is blue then the mouse is not green.
The mouse is nice.
("mouse" "is" "nice" "+")
All nice, big people are blue.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If the mouse is nice then the mouse is cold.
((("mouse" "is" "nice" "+")) -> ("mouse" "is" "cold" "+"))
Blue, nice people are cold.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If the mouse is big and the mouse is blue then the mouse is nice.
((("mouse" "is" "big" "+") ("mouse" "is" "blue" "+")) -> ("mouse" "is" "nice" "+"))
All cold people are big.
((("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If the mouse is blue then the mouse is not green.
((("mouse" "is" "blue" "+")) -> ("mouse" "is" "green" "-"))
The mouse is nice.
True
1
proof
[(triple1)]
("mouse" "is" "nice" "+")
triple1
The mouse is not nice.
False
1
inv-proof
[(triple1)]
("mouse" "is" "nice" "-")
triple1
The mouse is cold.
True
2
proof
[(((triple1) -> rule2))]
("mouse" "is" "cold" "+")
((triple1) -> (rule2 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse is not cold.
False
2
inv-proof
[(((triple1) -> rule2))]
("mouse" "is" "cold" "-")
((triple1) -> (rule2 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse is big.
True
3
proof
[(((((triple1) -> rule2)) -> rule5))]
("mouse" "is" "big" "+")
((((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse is not big.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule5))]
("mouse" "is" "big" "-")
((((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse is blue.
True
5
proof
[(((triple1 ((((triple1) -> rule2)) -> rule5)) -> rule1))]
("mouse" "is" "blue" "+")
((triple1 ((((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is not blue.
False
5
inv-proof
[(((triple1 ((((triple1) -> rule2)) -> rule5)) -> rule1))]
("mouse" "is" "blue" "-")
((triple1 ((((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
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 sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
@0: The mouse is nice.[(triple1)] @1: The mouse is cold.[(((triple1) -> rule2))] @2: The mouse is big.[(((((triple1) -> rule2)) -> rule5))] @3: The mouse is blue.[(((triple1 ((((triple1) -> rule2)) -> rule5)) -> rule1))] @4: The mouse is not green.[(((((triple1 ((((triple1) -> rule2)) -> rule5)) -> rule1)) -> rule6))]
The mouse is nice.
("mouse" "is" "nice" "+")
triple1
The mouse is cold.
("mouse" "is" "cold" "+")
((triple1) -> (rule2 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
((((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
((triple1 ((((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is not green.
("mouse" "is" "green" "-")
((((triple1 ((((triple1) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The mouse is not green.
("mouse" "is" "green" "-")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse is big.
("mouse" "is" "big" "+")
int3
The mouse is cold.
("mouse" "is" "cold" "+")
int4