Anne is not blue. Anne is kind. Bob is nice. Bob is young. Gary is quiet. Harry is quiet. Harry is young. If Anne is quiet then Anne is rough. All green, rough people are not blue. Green people are nice.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is kind.
("Anne" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is young.
("Bob" "is" "young" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is young.
("Harry" "is" "young" "+")
If Anne is quiet then Anne is rough.
((("Anne" "is" "quiet" "+")) -> ("Anne" "is" "rough" "+"))
All green, rough people are not blue.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "-"))
Green people are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Harry is young.
True
1
proof
[(triple7)]
("Harry" "is" "young" "+")
triple7
Anne is not kind.
False
1
inv-proof
[(triple2)]
("Anne" "is" "kind" "-")
triple2
Anne is not nice.
Unknown
inv-rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "nice" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Anne is kind.[(triple2)] Anne is not blue.[(triple1)] Bob is nice.[(triple3)] Bob is young.[(triple4)] Gary is quiet.[(triple5)] Harry is quiet.[(triple6)] Harry is young.[(triple7)]
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple4
Gary is quiet.
("Gary" "is" "quiet" "+")
triple5
Harry is quiet.
("Harry" "is" "quiet" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple7