The squirrel is kind. If someone is kind and nice then they are rough. All kind people are rough. If the squirrel is cold and the squirrel is kind then the squirrel is rough. If the squirrel is cold then the squirrel is rough. If someone is kind and rough then they are not nice. All cold, kind people are big. All nice, kind people are big. If someone is nice and kind then they are cold.
The squirrel is kind.
("squirrel" "is" "kind" "+")
If someone is kind and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
All kind people are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If the squirrel is cold and the squirrel is kind then the squirrel is rough.
((("squirrel" "is" "cold" "+") ("squirrel" "is" "kind" "+")) -> ("squirrel" "is" "rough" "+"))
If the squirrel is cold then the squirrel is rough.
((("squirrel" "is" "cold" "+")) -> ("squirrel" "is" "rough" "+"))
If someone is kind and rough then they are not nice.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "-"))
All cold, kind people are big.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
All nice, kind people are big.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and kind then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
The squirrel is kind.
True
1
proof
[(triple1)]
("squirrel" "is" "kind" "+")
triple1
The squirrel is not kind.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "kind" "-")
triple1
The squirrel is rough.
True
2
proof
[(((triple1) -> rule2))]
("squirrel" "is" "rough" "+")
((triple1) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is not rough.
False
2
inv-proof
[(((triple1) -> rule2))]
("squirrel" "is" "rough" "-")
((triple1) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is not nice.
True
4
proof
[(((triple1 ((triple1) -> rule2)) -> rule5))]
("squirrel" "is" "nice" "-")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The squirrel is not nice.
("squirrel" "is" "nice" "-")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The squirrel is nice.
False
4
inv-proof
[(((triple1 ((triple1) -> rule2)) -> rule5))]
("squirrel" "is" "nice" "+")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The squirrel is not nice.
("squirrel" "is" "nice" "-")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The squirrel is not cold.
Unknown
inv-rconc
[@1: The squirrel is cold.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "is" "cold" "-")
The squirrel is big.
Unknown
rconc
[@2: The squirrel is big.[CWA. Example of deepest failure = (rule6 <- rule8 <- FAIL)]]
("squirrel" "is" "big" "+")
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 likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
@0: The squirrel is kind.[(triple1)] @1: The squirrel is rough.[(((triple1) -> rule2))] @2: The squirrel is not nice.[(((triple1 ((triple1) -> rule2)) -> rule5))]
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple1
The squirrel is rough.
("squirrel" "is" "rough" "+")
((triple1) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is not nice.
("squirrel" "is" "nice" "-")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The squirrel is not nice.
("squirrel" "is" "nice" "-")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2