The mouse is big. The mouse is cold. The mouse is round. Big, round things are kind. If something is big then it is kind.
The mouse is big.
("mouse" "is" "big" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is round.
("mouse" "is" "round" "+")
Big, round things are kind.
((("something" "is" "big" "+") ("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
If something is big then it is kind.
((("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
The mouse is cold.
True
1
proof
[(triple2)]
("mouse" "is" "cold" "+")
triple2
The mouse is not round.
False
1
inv-proof
[(triple3)]
("mouse" "is" "round" "-")
triple3
The mouse is kind.
True
2
proof
[(((triple1) -> rule2) OR ((triple1 triple3) -> rule1))]
("mouse" "is" "kind" "+")
((triple1) -> (rule2 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
((triple1 triple3) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is not kind.
False
2
inv-proof
[(((triple1) -> rule2) OR ((triple1 triple3) -> rule1))]
("mouse" "is" "kind" "-")
((triple1) -> (rule2 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
((triple1 triple3) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
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 is rough.
Unknown
random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "+")
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 needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
@0: The mouse is big.[(triple1)] The mouse is cold.[(triple2)] The mouse is round.[(triple3)] @1: The mouse is kind.[(((triple1) -> rule2) OR ((triple1 triple3) -> rule1))]
The mouse is big.
("mouse" "is" "big" "+")
triple1
The mouse is cold.
("mouse" "is" "cold" "+")
triple2
The mouse is round.
("mouse" "is" "round" "+")
triple3
The mouse is kind.
("mouse" "is" "kind" "+")
((triple1) -> (rule2 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
((triple1 triple3) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1