The squirrel is cold. If the squirrel is nice then the squirrel is not cold. Young things are kind. Young things are not nice. If something is kind then it is not green. If something is kind then it is not green. Cold things are young.
The squirrel is cold.
("squirrel" "is" "cold" "+")
If the squirrel is nice then the squirrel is not cold.
((("squirrel" "is" "nice" "+")) -> ("squirrel" "is" "cold" "-"))
Young things are kind.
((("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
Young things are not nice.
((("something" "is" "young" "+")) -> ("something" "is" "nice" "-"))
If something is kind then it is not green.
((("something" "is" "kind" "+")) -> ("something" "is" "green" "-"))
If something is kind then it is not green.
((("something" "is" "kind" "+")) -> ("something" "is" "green" "-"))
Cold things are young.
((("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
The squirrel is cold.
True
1
proof
[(triple1)]
("squirrel" "is" "cold" "+")
triple1
The squirrel is not cold.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "cold" "-")
triple1
The squirrel is young.
True
2
proof
[(((triple1) -> rule6))]
("squirrel" "is" "young" "+")
((triple1) -> (rule6 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is not young.
False
2
inv-proof
[(((triple1) -> rule6))]
("squirrel" "is" "young" "-")
((triple1) -> (rule6 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is not nice.
True
3
proof
[(((((triple1) -> rule6)) -> rule3))]
("squirrel" "is" "nice" "-")
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel is not nice.
("squirrel" "is" "nice" "-")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel is not kind.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule2))]
("squirrel" "is" "kind" "-")
((((triple1) -> (rule6 % int2))) -> (rule2 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel is not green.
True
4
proof
[(((((((triple1) -> rule6)) -> rule2)) -> rule4) OR ((((((triple1) -> rule6)) -> rule2)) -> rule5))]
("squirrel" "is" "green" "-")
((((((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel is not green.
("squirrel" "is" "green" "-")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
((((((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The squirrel is not green.
("squirrel" "is" "green" "-")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The squirrel is green.
False
4
inv-proof
[(((((((triple1) -> rule6)) -> rule2)) -> rule4) OR ((((((triple1) -> rule6)) -> rule2)) -> rule5))]
("squirrel" "is" "green" "+")
((((((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel is not green.
("squirrel" "is" "green" "-")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
((((((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The squirrel is not green.
("squirrel" "is" "green" "-")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
@0: The squirrel is cold.[(triple1)] @1: The squirrel is young.[(((triple1) -> rule6))] @2: The squirrel is kind.[(((((triple1) -> rule6)) -> rule2))] The squirrel is not nice.[(((((triple1) -> rule6)) -> rule3))] @3: The squirrel is not green.[(((((((triple1) -> rule6)) -> rule2)) -> rule4) OR ((((((triple1) -> rule6)) -> rule2)) -> rule5))]
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple1
The squirrel is young.
("squirrel" "is" "young" "+")
((triple1) -> (rule6 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
((((triple1) -> (rule6 % int2))) -> (rule2 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel is not nice.
("squirrel" "is" "nice" "-")
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel is not nice.
("squirrel" "is" "nice" "-")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel is not green.
("squirrel" "is" "green" "-")
((((((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel is not green.
("squirrel" "is" "green" "-")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
((((((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The squirrel is not green.
("squirrel" "is" "green" "-")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3