Anne is not smart. Gary is not smart. Gary is white. If Gary is not smart then Gary is nice. If someone is big then they are nice. All furry people are white. All nice people are big. All kind people are red. All furry, white people are not kind. All smart people are not kind. If someone is furry and not white then they are kind.
Anne is not smart.
("Anne" "is" "smart" "-")
Gary is not smart.
("Gary" "is" "smart" "-")
Gary is white.
("Gary" "is" "white" "+")
If Gary is not smart then Gary is nice.
((("Gary" "is" "smart" "~")) -> ("Gary" "is" "nice" "+"))
If someone is big then they are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
All furry people are white.
((("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
All nice people are big.
((("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
All kind people are red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
All furry, white people are not kind.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "kind" "-"))
All smart people are not kind.
((("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "-"))
If someone is furry and not white then they are kind.
((("someone" "is" "furry" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "kind" "+"))
Anne is not smart.
True
1
proof
[(triple1)]
("Anne" "is" "smart" "-")
triple1
Anne is smart.
False
1
inv-proof
[(triple1)]
("Anne" "is" "smart" "+")
triple1
Gary is nice.
True
2
proof
[(((triple2) -> rule1))]
("Gary" "is" "nice" "+")
((triple2) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not nice.
False
2
inv-proof
[(((triple2) -> rule1))]
("Gary" "is" "nice" "-")
((triple2) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
True
3
proof
[(((((triple2) -> rule1)) -> rule4))]
("Gary" "is" "big" "+")
((((triple2) -> (rule1 % int2))) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is not big.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule4))]
("Gary" "is" "big" "-")
((((triple2) -> (rule1 % int2))) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Anne is not kind.
Unknown
inv-rconc
[@1: Anne is kind.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Anne" "is" "kind" "-")
Anne is white.
Unknown
rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "white" "+")
Anne is not big.
Unknown
inv-rconc
[@2: Anne is big.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Anne" "is" "big" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is not smart.[(triple1)] Gary is not smart.[(triple2)] Gary is white.[(triple3)] @1: Gary is nice.[(((triple2) -> rule1))] @2: Gary is big.[(((((triple2) -> rule1)) -> rule4))]
Anne is not smart.
("Anne" "is" "smart" "-")
triple1
Gary is not smart.
("Gary" "is" "smart" "-")
triple2
Gary is white.
("Gary" "is" "white" "+")
triple3
Gary is nice.
("Gary" "is" "nice" "+")
((triple2) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((((triple2) -> (rule1 % int2))) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2