Anne is green. Bob is not kind. Bob is not nice. Bob is not quiet. Gary is green. Gary is quiet. Harry is nice. Harry is quiet. Harry is red. Harry is young. All kind things are not green. If something is quiet then it is green.
Anne is green.
("Anne" "is" "green" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is not nice.
("Bob" "is" "nice" "-")
Bob is not quiet.
("Bob" "is" "quiet" "-")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is young.
("Harry" "is" "young" "+")
All kind things are not green.
((("something" "is" "kind" "+")) -> ("something" "is" "green" "-"))
If something is quiet then it is green.
((("something" "is" "quiet" "+")) -> ("something" "is" "green" "+"))
Bob is not quiet.
True
1
proof
[(triple4)]
("Bob" "is" "quiet" "-")
triple4
Bob is kind.
False
1
inv-proof
[(triple2)]
("Bob" "is" "kind" "+")
triple2
Harry is green.
True
2
proof
[(((triple8) -> rule2))]
("Harry" "is" "green" "+")
((triple8) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not green.
False
2
inv-proof
[(((triple8) -> rule2))]
("Harry" "is" "green" "-")
((triple8) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "green" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is green.[(triple1)] Bob is not kind.[(triple2)] Bob is not nice.[(triple3)] Bob is not quiet.[(triple4)] Gary is green.[(triple5 OR ((triple6) -> rule2))] Gary is quiet.[(triple6)] Harry is nice.[(triple7)] Harry is quiet.[(triple8)] Harry is red.[(triple9)] Harry is young.[(triple10)] @1: Harry is green.[(((triple8) -> rule2))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Bob is not kind.
("Bob" "is" "kind" "-")
triple2
Bob is not nice.
("Bob" "is" "nice" "-")
triple3
Bob is not quiet.
("Bob" "is" "quiet" "-")
triple4
Gary is green.
("Gary" "is" "green" "+")
triple5
((triple6) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Harry is quiet.
("Harry" "is" "quiet" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
((triple8) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1