Anne is not big. Anne is kind. Dave is big. Dave is red. Dave is white. Dave is young. Gary is furry. If Anne is white then Anne is kind. If Dave is not white then Dave is kind. Furry people are not kind. If someone is red and not furry then they are young. If someone is young and not big then they are red. If Gary is not red then Gary is white. If someone is big and not kind then they are smart. Furry people are not smart.
Anne is not big.
("Anne" "is" "big" "-")
Anne is kind.
("Anne" "is" "kind" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
If Anne is white then Anne is kind.
((("Anne" "is" "white" "+")) -> ("Anne" "is" "kind" "+"))
If Dave is not white then Dave is kind.
((("Dave" "is" "white" "~")) -> ("Dave" "is" "kind" "+"))
Furry people are not kind.
((("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "-"))
If someone is red and not furry then they are young.
((("someone" "is" "red" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "young" "+"))
If someone is young and not big then they are red.
((("someone" "is" "young" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "red" "+"))
If Gary is not red then Gary is white.
((("Gary" "is" "red" "~")) -> ("Gary" "is" "white" "+"))
If someone is big and not kind then they are smart.
((("someone" "is" "big" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "smart" "+"))
Furry people are not smart.
((("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "-"))
Dave is young.
True
1
proof
[(triple6)]
("Dave" "is" "young" "+")
triple6
Dave is not young.
False
1
inv-proof
[(triple6)]
("Dave" "is" "young" "-")
triple6
Gary is not smart.
True
2
proof
[(((triple7) -> rule8))]
("Gary" "is" "smart" "-")
((triple7) -> (rule8 % int1))
Gary is not smart.
("Gary" "is" "smart" "-")
int1
Gary is smart.
False
2
inv-proof
[(((triple7) -> rule8))]
("Gary" "is" "smart" "+")
((triple7) -> (rule8 % int1))
Gary is not smart.
("Gary" "is" "smart" "-")
int1
Anne is not smart.
Unknown
inv-rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Anne" "is" "smart" "-")
Anne is young.
Unknown
rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "young" "+")
Anne is not white.
Unknown
inv-random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
@0: Anne is kind.[(triple2)] Anne is not big.[(triple1)] Dave is big.[(triple3)] Dave is red.[(triple4)] Dave is white.[(triple5)] Dave is young.[(triple6)] Gary is furry.[(triple7)] @1: Gary is not kind.[(((triple7) -> rule3))] Gary is not smart.[(((triple7) -> rule8))]
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is not big.
("Anne" "is" "big" "-")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple4
Dave is white.
("Dave" "is" "white" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Gary is not kind.
("Gary" "is" "kind" "-")
((triple7) -> (rule3 % int1))
Gary is not kind.
("Gary" "is" "kind" "-")
int1
Gary is not smart.
("Gary" "is" "smart" "-")
((triple7) -> (rule8 % int1))
Gary is not smart.
("Gary" "is" "smart" "-")
int1