Anne is kind. Charlie is quiet. Erin is quiet. Gary is not smart. If someone is quiet and not round then they are young. Quiet people are furry.
Anne is kind.
("Anne" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Gary is not smart.
("Gary" "is" "smart" "-")
If someone is quiet and not round then they are young.
((("someone" "is" "quiet" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "young" "+"))
Quiet people are furry.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
Charlie is quiet.
True
1
proof
[(triple2)]
("Charlie" "is" "quiet" "+")
triple2
Charlie is not quiet.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "quiet" "-")
triple2
Charlie is furry.
True
2
proof
[(((triple2) -> rule2))]
("Charlie" "is" "furry" "+")
((triple2) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Erin is not furry.
False
2
inv-proof
[(((triple3) -> rule2))]
("Erin" "is" "furry" "-")
((triple3) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "young" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "young" "+")
Anne is not rough.
Unknown
inv-random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Anne is kind.[(triple1)] Charlie is quiet.[(triple2)] Erin is quiet.[(triple3)] Gary is not smart.[(triple4)] @1: Charlie is furry.[(((triple2) -> rule2))] Erin is furry.[(((triple3) -> rule2))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Gary is not smart.
("Gary" "is" "smart" "-")
triple4
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple2) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple3) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1