The bear is green. If someone is green then they are kind. If someone is young then they are kind. If the bear is young and the bear is nice then the bear is kind. If someone is young then they are big. All nice people are not big. If someone is nice and big then they are not young. If someone is big then they are not young. All big, young people are green.
The bear is green.
("bear" "is" "green" "+")
If someone is green then they are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is young then they are kind.
((("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If the bear is young and the bear is nice then the bear is kind.
((("bear" "is" "young" "+") ("bear" "is" "nice" "+")) -> ("bear" "is" "kind" "+"))
If someone is young then they are big.
((("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
All nice people are not big.
((("someone" "is" "nice" "+")) -> ("someone" "is" "big" "-"))
If someone is nice and big then they are not young.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "-"))
If someone is big then they are not young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "-"))
All big, young people are green.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
The bear is green.
True
1
proof
[(triple1)]
("bear" "is" "green" "+")
triple1
The bear is not green.
False
1
inv-proof
[(triple1)]
("bear" "is" "green" "-")
triple1
The bear is kind.
True
2
proof
[(((triple1) -> rule1))]
("bear" "is" "kind" "+")
((triple1) -> (rule1 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is not kind.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "is" "kind" "-")
((triple1) -> (rule1 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is not big.
Unknown
inv-rconc
[@1: The bear is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "is" "big" "-")
The bear is nice.
Unknown
random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "+")
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
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 green.[(triple1)] @1: The bear is kind.[(((triple1) -> rule1))]
The bear is green.
("bear" "is" "green" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
((triple1) -> (rule1 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1