The squirrel is nice. If something is green then it is blue. Nice, blue things are kind. All nice, blue things are kind. If the squirrel is blue then the squirrel is green. If the squirrel is nice then the squirrel is blue. Blue things are green. If something is green then it is young. If something is nice and not green then it is not young.
The squirrel is nice.
("squirrel" "is" "nice" "+")
If something is green then it is blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
Nice, blue things are kind.
((("something" "is" "nice" "+") ("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
All nice, blue things are kind.
((("something" "is" "nice" "+") ("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
If the squirrel is blue then the squirrel is green.
((("squirrel" "is" "blue" "+")) -> ("squirrel" "is" "green" "+"))
If the squirrel is nice then the squirrel is blue.
((("squirrel" "is" "nice" "+")) -> ("squirrel" "is" "blue" "+"))
Blue things are green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
If something is green then it is young.
((("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
If something is nice and not green then it is not young.
((("something" "is" "nice" "+") ("something" "is" "green" "~")) -> ("something" "is" "young" "-"))
The squirrel is nice.
True
1
proof
[(triple1)]
("squirrel" "is" "nice" "+")
triple1
The squirrel is not nice.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "nice" "-")
triple1
The squirrel is blue.
True
2
proof
[(((triple1) -> rule5))]
("squirrel" "is" "blue" "+")
((triple1) -> (rule5 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is not blue.
False
2
inv-proof
[(((triple1) -> rule5))]
("squirrel" "is" "blue" "-")
((triple1) -> (rule5 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is green.
True
3
proof
[(((((triple1) -> rule5)) -> rule4) OR ((((triple1) -> rule5)) -> rule6))]
("squirrel" "is" "green" "+")
((((triple1) -> (rule5 % int2))) -> (rule4 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
((((triple1) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel is not green.
False
3
inv-proof
[(((((triple1) -> rule5)) -> rule4) OR ((((triple1) -> rule5)) -> rule6))]
("squirrel" "is" "green" "-")
((((triple1) -> (rule5 % int2))) -> (rule4 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
((((triple1) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel is young.
True
4
proof
[(((((((triple1) -> rule5)) -> rule4)) -> rule7) OR ((((((triple1) -> rule5)) -> rule6)) -> rule7))]
("squirrel" "is" "young" "+")
((((((triple1) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
((((((triple1) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
The squirrel is not young.
False
4
inv-proof
[(((((((triple1) -> rule5)) -> rule4)) -> rule7) OR ((((((triple1) -> rule5)) -> rule6)) -> rule7))]
("squirrel" "is" "young" "-")
((((((triple1) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
((((((triple1) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The squirrel is nice.[(triple1)] @1: The squirrel is blue.[(((triple1) -> rule5))] @2: The squirrel is green.[(((((triple1) -> rule5)) -> rule4) OR ((((triple1) -> rule5)) -> rule6))] The squirrel is kind.[(((triple1 ((triple1) -> rule5)) -> rule2) OR ((triple1 ((triple1) -> rule5)) -> rule3))] @3: The squirrel is young.[(((((((triple1) -> rule5)) -> rule4)) -> rule7) OR ((((((triple1) -> rule5)) -> rule6)) -> rule7))]
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple1
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple1) -> (rule5 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
((((triple1) -> (rule5 % int2))) -> (rule4 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
((((triple1) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
((triple1 ((triple1) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
((triple1 ((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
((((((triple1) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
((((((triple1) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3