The squirrel is big. If the squirrel is red then the squirrel is cold. If someone is cold and not big then they are young. Cold, big people are kind. If the squirrel is kind then the squirrel is red. If someone is kind and not big then they are not red. If someone is big then they are red.
The squirrel is big.
("squirrel" "is" "big" "+")
If the squirrel is red then the squirrel is cold.
((("squirrel" "is" "red" "+")) -> ("squirrel" "is" "cold" "+"))
If someone is cold and not big then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "young" "+"))
Cold, big people are kind.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If the squirrel is kind then the squirrel is red.
((("squirrel" "is" "kind" "+")) -> ("squirrel" "is" "red" "+"))
If someone is kind and not big then they are not red.
((("someone" "is" "kind" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "red" "-"))
If someone is big then they are red.
((("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
The squirrel is big.
True
1
proof
[(triple1)]
("squirrel" "is" "big" "+")
triple1
The squirrel is not big.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "big" "-")
triple1
The squirrel is red.
True
2
proof
[(((triple1) -> rule6))]
("squirrel" "is" "red" "+")
((triple1) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is not red.
False
2
inv-proof
[(((triple1) -> rule6))]
("squirrel" "is" "red" "-")
((triple1) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is cold.
True
3
proof
[(((((triple1) -> rule6)) -> rule1))]
("squirrel" "is" "cold" "+")
((((triple1) -> (rule6 % int2))) -> (rule1 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel is not cold.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule1))]
("squirrel" "is" "cold" "-")
((((triple1) -> (rule6 % int2))) -> (rule1 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel is kind.
True
5
proof
[(((((((triple1) -> rule6)) -> rule1) triple1) -> rule3))]
("squirrel" "is" "kind" "+")
((((((triple1) -> (rule6 % int3))) -> (rule1 % int2)) triple1) -> (rule3 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The squirrel is not kind.
False
5
inv-proof
[(((((((triple1) -> rule6)) -> rule1) triple1) -> rule3))]
("squirrel" "is" "kind" "-")
((((((triple1) -> (rule6 % int3))) -> (rule1 % int2)) triple1) -> (rule3 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The squirrel is not young.
Unknown
inv-rconc
[@1: The squirrel is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "young" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
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 big.[(triple1)] @1: The squirrel is red.[(((triple1) -> rule6))] @2: The squirrel is cold.[(((((triple1) -> rule6)) -> rule1))] @3: The squirrel is kind.[(((((((triple1) -> rule6)) -> rule1) triple1) -> rule3))]
The squirrel is big.
("squirrel" "is" "big" "+")
triple1
The squirrel is red.
("squirrel" "is" "red" "+")
((triple1) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
((((triple1) -> (rule6 % int2))) -> (rule1 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
((((((triple1) -> (rule6 % int3))) -> (rule1 % int2)) triple1) -> (rule3 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3