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