The squirrel is cold. If the squirrel is cold and the squirrel is big then the squirrel is young. If something is kind and cold then it is nice. If something is big and not kind then it is nice. If something is cold then it is nice. If something is big and not kind then it is young. Nice things are young. If something is cold and kind then it is big. If something is cold and young then it is big.
The squirrel is cold.
("squirrel" "is" "cold" "+")
If the squirrel is cold and the squirrel is big then the squirrel is young.
((("squirrel" "is" "cold" "+") ("squirrel" "is" "big" "+")) -> ("squirrel" "is" "young" "+"))
If something is kind and cold then it is nice.
((("something" "is" "kind" "+") ("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
If something is big and not kind then it is nice.
((("something" "is" "big" "+") ("something" "is" "kind" "~")) -> ("something" "is" "nice" "+"))
If something is cold then it is nice.
((("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
If something is big and not kind then it is young.
((("something" "is" "big" "+") ("something" "is" "kind" "~")) -> ("something" "is" "young" "+"))
Nice things are young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
If something is cold and kind then it is big.
((("something" "is" "cold" "+") ("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
If something is cold and young then it is big.
((("something" "is" "cold" "+") ("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
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 nice.
True
2
proof
[(((triple1) -> rule4))]
("squirrel" "is" "nice" "+")
((triple1) -> (rule4 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is not nice.
False
2
inv-proof
[(((triple1) -> rule4))]
("squirrel" "is" "nice" "-")
((triple1) -> (rule4 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is young.
True
3
proof
[(((((triple1) -> rule4)) -> rule6))]
("squirrel" "is" "young" "+")
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel is not young.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule6))]
("squirrel" "is" "young" "-")
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel is big.
True
5
proof
[(((triple1 ((((triple1) -> rule4)) -> rule6)) -> rule8))]
("squirrel" "is" "big" "+")
((triple1 ((((triple1) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
int3
The squirrel is not big.
False
5
inv-proof
[(((triple1 ((((triple1) -> rule4)) -> rule6)) -> rule8))]
("squirrel" "is" "big" "-")
((triple1 ((((triple1) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
int3
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
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 is kind.
Unknown
random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "+")
@0: The squirrel is cold.[(triple1)] @1: The squirrel is nice.[(((triple1) -> rule4))] @2: The squirrel is young.[(((((triple1) -> rule4)) -> rule6))] @3: The squirrel is big.[(((triple1 ((((triple1) -> rule4)) -> rule6)) -> rule8))]
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple1
The squirrel is nice.
("squirrel" "is" "nice" "+")
((triple1) -> (rule4 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel is big.
("squirrel" "is" "big" "+")
((triple1 ((((triple1) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
int3