Anne is quiet. Bob is green. Erin is young. Harry is young. All blue people are green. If someone is quiet then they are furry. Quiet people are kind.
Anne is quiet.
("Anne" "is" "quiet" "+")
Bob is green.
("Bob" "is" "green" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is young.
("Harry" "is" "young" "+")
All blue people are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is quiet then they are furry.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
Quiet people are kind.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
Erin is young.
True
1
proof
[(triple3)]
("Erin" "is" "young" "+")
triple3
Harry is not young.
False
1
inv-proof
[(triple4)]
("Harry" "is" "young" "-")
triple4
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "kind" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Anne is quiet.[(triple1)] Bob is green.[(triple2)] Erin is young.[(triple3)] Harry is young.[(triple4)] @1: Anne is furry.[(((triple1) -> rule2))] Anne is kind.[(((triple1) -> rule3))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Erin is young.
("Erin" "is" "young" "+")
triple3
Harry is young.
("Harry" "is" "young" "+")
triple4
Anne is furry.
("Anne" "is" "furry" "+")
((triple1) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
((triple1) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1