The mouse is cold. The mouse is green. The mouse is nice. Round, cold people are kind. All kind people are nice. If the mouse is green and the mouse is kind then the mouse is nice. Nice, cold people are round. All kind people are round. All nice people are kind.
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
Round, cold people are kind.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
All kind people are nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If the mouse is green and the mouse is kind then the mouse is nice.
((("mouse" "is" "green" "+") ("mouse" "is" "kind" "+")) -> ("mouse" "is" "nice" "+"))
Nice, cold people are round.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
All kind people are round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
All nice people are kind.
((("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
The mouse is green.
True
1
proof
[(triple2)]
("mouse" "is" "green" "+")
triple2
The mouse is not nice.
False
1
inv-proof
[(triple3)]
("mouse" "is" "nice" "-")
triple3
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 cold.[(triple1)] The mouse is green.[(triple2)] The mouse is nice.[(triple3)] @1: The mouse is kind.[(((triple3) -> rule6) OR ((((triple3 triple1) -> rule4) triple1) -> rule1))] The mouse is round.[(((triple3 triple1) -> rule4) OR ((((triple3) -> rule6)) -> rule5))]
The mouse is cold.
("mouse" "is" "cold" "+")
triple1
The mouse is green.
("mouse" "is" "green" "+")
triple2
The mouse is nice.
("mouse" "is" "nice" "+")
triple3
The mouse is kind.
("mouse" "is" "kind" "+")
((triple3) -> (rule6 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
((((triple3 triple1) -> (rule4 % int2)) triple1) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
int2
The mouse is round.
("mouse" "is" "round" "+")
((triple3 triple1) -> (rule4 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
((((triple3) -> (rule6 % int2))) -> (rule5 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2