The mouse is cold. The mouse is green. The mouse is not kind. The mouse is nice. The mouse is rough. If someone is green then they are cold. All cold people are not kind. If the mouse is kind then the mouse is cold. If someone is nice and green then they are rough. If someone is cold and not kind then they are rough. All cold people are rough.
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is not kind.
("mouse" "is" "kind" "-")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
All cold people are not kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "-"))
If the mouse is kind then the mouse is cold.
((("mouse" "is" "kind" "+")) -> ("mouse" "is" "cold" "+"))
If someone is nice and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and not kind then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "rough" "+"))
All cold people are rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
The mouse is cold.
True
1
proof
[(triple1 OR ((triple2) -> rule1))]
("mouse" "is" "cold" "+")
triple1
((triple2) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse is not green.
False
1
inv-proof
[(triple2)]
("mouse" "is" "green" "-")
triple2
The mouse does not need the mouse.
Unknown
inv-random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
@0: The mouse is cold.[(triple1 OR ((triple2) -> rule1))] The mouse is green.[(triple2)] The mouse is nice.[(triple4)] The mouse is not kind.[(triple3 OR ((triple1) -> rule2) OR ((((triple2) -> rule1)) -> rule2))] The mouse is rough.[(triple5 OR ((triple1) -> rule6) OR ((triple1 triple3) -> rule5) OR ((triple4 triple2) -> rule4) OR ((((triple2) -> rule1)) -> rule6) OR ((triple1 ((triple1) -> rule2)) -> rule5) OR ((((triple2) -> rule1) triple3) -> rule5) OR ((((triple2) -> rule1) ((triple1) -> rule2)) -> rule5) OR ((triple1 ((((triple2) -> rule1)) -> rule2)) -> rule5) OR ((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule2)) -> rule5))]
The mouse is cold.
("mouse" "is" "cold" "+")
triple1
((triple2) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
triple2
The mouse is nice.
("mouse" "is" "nice" "+")
triple4
The mouse is not kind.
("mouse" "is" "kind" "-")
triple3
((triple1) -> (rule2 % int1))
The mouse is not kind.
("mouse" "is" "kind" "-")
int1
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The mouse is not kind.
("mouse" "is" "kind" "-")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
triple5
((triple1) -> (rule6 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
((triple1 triple3) -> (rule5 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
((triple4 triple2) -> (rule4 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
((triple1 ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is not kind.
("mouse" "is" "kind" "-")
int2
((((triple2) -> (rule1 % int2)) triple3) -> (rule5 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
((((triple2) -> (rule1 % int3)) ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is not kind.
("mouse" "is" "kind" "-")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
((triple1 ((((triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is not kind.
("mouse" "is" "kind" "-")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
((((triple2) -> (rule1 % int3)) ((((triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is not kind.
("mouse" "is" "kind" "-")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3