Anne is kind. Dave is nice. Fiona is red. Gary is young. Young, blue people are nice. All kind people are not nice. Blue people are not red. If Gary is kind then Gary is rough. If Gary is nice then Gary is red. All nice, rough people are not young. If someone is nice then they are furry. If Gary is furry then Gary is not nice.
Anne is kind.
("Anne" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
Young, blue people are nice.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
All kind people are not nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "-"))
Blue people are not red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "-"))
If Gary is kind then Gary is rough.
((("Gary" "is" "kind" "+")) -> ("Gary" "is" "rough" "+"))
If Gary is nice then Gary is red.
((("Gary" "is" "nice" "+")) -> ("Gary" "is" "red" "+"))
All nice, rough people are not young.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "-"))
If someone is nice then they are furry.
((("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "+"))
If Gary is furry then Gary is not nice.
((("Gary" "is" "furry" "+")) -> ("Gary" "is" "nice" "-"))
Gary is young.
True
1
proof
[(triple4)]
("Gary" "is" "young" "+")
triple4
Dave is not nice.
False
1
inv-proof
[(triple2)]
("Dave" "is" "nice" "-")
triple2
Anne is not nice.
True
2
proof
[(((triple1) -> rule2))]
("Anne" "is" "nice" "-")
((triple1) -> (rule2 % int1))
Anne is not nice.
("Anne" "is" "nice" "-")
int1
Dave is not furry.
False
2
inv-proof
[(((triple2) -> rule7))]
("Dave" "is" "furry" "-")
((triple2) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Fiona is not furry.
Unknown
inv-rconc
[@2: Fiona is furry.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Fiona" "is" "furry" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "nice" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Anne is kind.[(triple1)] Dave is nice.[(triple2)] Fiona is red.[(triple3)] Gary is young.[(triple4)] @1: Anne is not nice.[(((triple1) -> rule2))] Dave is furry.[(((triple2) -> rule7))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Dave is nice.
("Dave" "is" "nice" "+")
triple2
Fiona is red.
("Fiona" "is" "red" "+")
triple3
Gary is young.
("Gary" "is" "young" "+")
triple4
Anne is not nice.
("Anne" "is" "nice" "-")
((triple1) -> (rule2 % int1))
Anne is not nice.
("Anne" "is" "nice" "-")
int1
Dave is furry.
("Dave" "is" "furry" "+")
((triple2) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1