Erin is kind. Gary is kind. Harry is not quiet. If someone is quiet and round then they are not kind. If someone is quiet and not cold then they are kind. If Gary is red and Gary is furry then Gary is round. If Gary is round then Gary is kind. All kind people are not red. If Erin is red then Erin is kind. Kind, furry people are not round. If someone is quiet then they are not young.
Erin is kind.
("Erin" "is" "kind" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
If someone is quiet and round then they are not kind.
((("someone" "is" "quiet" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "-"))
If someone is quiet and not cold then they are kind.
((("someone" "is" "quiet" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "kind" "+"))
If Gary is red and Gary is furry then Gary is round.
((("Gary" "is" "red" "+") ("Gary" "is" "furry" "+")) -> ("Gary" "is" "round" "+"))
If Gary is round then Gary is kind.
((("Gary" "is" "round" "+")) -> ("Gary" "is" "kind" "+"))
All kind people are not red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "-"))
If Erin is red then Erin is kind.
((("Erin" "is" "red" "+")) -> ("Erin" "is" "kind" "+"))
Kind, furry people are not round.
((("someone" "is" "kind" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "round" "-"))
If someone is quiet then they are not young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "-"))
Harry is not quiet.
True
1
proof
[(triple3)]
("Harry" "is" "quiet" "-")
triple3
Erin is not kind.
False
1
inv-proof
[(triple1)]
("Erin" "is" "kind" "-")
triple1
Gary is not red.
True
2
proof
[(((triple2) -> rule5))]
("Gary" "is" "red" "-")
((triple2) -> (rule5 % int1))
Gary is not red.
("Gary" "is" "red" "-")
int1
Erin is red.
False
2
inv-proof
[(((triple1) -> rule5))]
("Erin" "is" "red" "+")
((triple1) -> (rule5 % int1))
Erin is not red.
("Erin" "is" "red" "-")
int1
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "kind" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "round" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Erin is kind.[(triple1)] Gary is kind.[(triple2)] Harry is not quiet.[(triple3)] @1: Erin is not red.[(((triple1) -> rule5))] Gary is not red.[(((triple2) -> rule5))]
Erin is kind.
("Erin" "is" "kind" "+")
triple1
Gary is kind.
("Gary" "is" "kind" "+")
triple2
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple3
Erin is not red.
("Erin" "is" "red" "-")
((triple1) -> (rule5 % int1))
Erin is not red.
("Erin" "is" "red" "-")
int1
Gary is not red.
("Gary" "is" "red" "-")
((triple2) -> (rule5 % int1))
Gary is not red.
("Gary" "is" "red" "-")
int1