The mouse is rough. All green, rough things are blue. All rough things are green. If the mouse is blue then the mouse is round.
The mouse is rough.
("mouse" "is" "rough" "+")
All green, rough things are blue.
((("something" "is" "green" "+") ("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
All rough things are green.
((("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
If the mouse is blue then the mouse is round.
((("mouse" "is" "blue" "+")) -> ("mouse" "is" "round" "+"))
The mouse is rough.
True
1
proof
[(triple1)]
("mouse" "is" "rough" "+")
triple1
The mouse is not rough.
False
1
inv-proof
[(triple1)]
("mouse" "is" "rough" "-")
triple1
The mouse is green.
True
2
proof
[(((triple1) -> rule2))]
("mouse" "is" "green" "+")
((triple1) -> (rule2 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is not green.
False
2
inv-proof
[(((triple1) -> rule2))]
("mouse" "is" "green" "-")
((triple1) -> (rule2 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is blue.
True
4
proof
[(((((triple1) -> rule2) triple1) -> rule1))]
("mouse" "is" "blue" "+")
((((triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The mouse is not blue.
False
4
inv-proof
[(((((triple1) -> rule2) triple1) -> rule1))]
("mouse" "is" "blue" "-")
((((triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The mouse is round.
True
5
proof
[(((((((triple1) -> rule2) triple1) -> rule1)) -> rule3))]
("mouse" "is" "round" "+")
((((((triple1) -> (rule2 % int3)) triple1) -> (rule1 % int2))) -> (rule3 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse is green.
("mouse" "is" "green" "+")
int3
The mouse is not round.
False
5
inv-proof
[(((((((triple1) -> rule2) triple1) -> rule1)) -> rule3))]
("mouse" "is" "round" "-")
((((((triple1) -> (rule2 % int3)) triple1) -> (rule1 % int2))) -> (rule3 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse is green.
("mouse" "is" "green" "+")
int3
The mouse is not kind.
Unknown
inv-random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
The mouse does not like the mouse.
Unknown
inv-random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "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 rough.[(triple1)] @1: The mouse is green.[(((triple1) -> rule2))] @2: The mouse is blue.[(((((triple1) -> rule2) triple1) -> rule1))] @3: The mouse is round.[(((((((triple1) -> rule2) triple1) -> rule1)) -> rule3))]
The mouse is rough.
("mouse" "is" "rough" "+")
triple1
The mouse is green.
("mouse" "is" "green" "+")
((triple1) -> (rule2 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
((((triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The mouse is round.
("mouse" "is" "round" "+")
((((((triple1) -> (rule2 % int3)) triple1) -> (rule1 % int2))) -> (rule3 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse is green.
("mouse" "is" "green" "+")
int3