The bear is nice. If the bear is kind then the bear is green. If someone is nice then they are kind. If someone is kind and not round then they are not green. Round people are green. Kind, round people are green. If someone is cold and kind then they are green.
The bear is nice.
("bear" "is" "nice" "+")
If the bear is kind then the bear is green.
((("bear" "is" "kind" "+")) -> ("bear" "is" "green" "+"))
If someone is nice then they are kind.
((("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and not round then they are not green.
((("someone" "is" "kind" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "green" "-"))
Round people are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Kind, round people are green.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and kind then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
The bear is nice.
True
1
proof
[(triple1)]
("bear" "is" "nice" "+")
triple1
The bear is not nice.
False
1
inv-proof
[(triple1)]
("bear" "is" "nice" "-")
triple1
The bear is kind.
True
2
proof
[(((triple1) -> rule2))]
("bear" "is" "kind" "+")
((triple1) -> (rule2 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is not kind.
False
2
inv-proof
[(((triple1) -> rule2))]
("bear" "is" "kind" "-")
((triple1) -> (rule2 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is green.
True
3
proof
[(((((triple1) -> rule2)) -> rule1))]
("bear" "is" "green" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is not green.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule1))]
("bear" "is" "green" "-")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
The bear is not cold.
Unknown
inv-random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bear is nice.[(triple1)] @1: The bear is kind.[(((triple1) -> rule2))] @2: The bear is green.[(((((triple1) -> rule2)) -> rule1))]
The bear is nice.
("bear" "is" "nice" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
((triple1) -> (rule2 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is green.
("bear" "is" "green" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2