Anne is blue. Anne is green. Anne is not quiet. Anne is not red. Anne is smart. Anne is young. Bob is quiet. Bob is red. Bob is smart. Gary is blue. Gary is not quiet. Gary is smart. Gary is not white. Harry is blue. Harry is green. Harry is young. If someone is quiet then they are young.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is not quiet.
("Anne" "is" "quiet" "-")
Anne is not red.
("Anne" "is" "red" "-")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is not quiet.
("Gary" "is" "quiet" "-")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is not white.
("Gary" "is" "white" "-")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is quiet then they are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
Gary is not quiet.
True
1
proof
[(triple11)]
("Gary" "is" "quiet" "-")
triple11
Anne is not smart.
False
1
inv-proof
[(triple5)]
("Anne" "is" "smart" "-")
triple5
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "young" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is not quiet.[(triple3)] Anne is not red.[(triple4)] Anne is smart.[(triple5)] Anne is young.[(triple6)] Bob is quiet.[(triple7)] Bob is red.[(triple8)] Bob is smart.[(triple9)] Gary is blue.[(triple10)] Gary is not quiet.[(triple11)] Gary is not white.[(triple13)] Gary is smart.[(triple12)] Harry is blue.[(triple14)] Harry is green.[(triple15)] Harry is young.[(triple16)] @1: Bob is young.[(((triple7) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple3
Anne is not red.
("Anne" "is" "red" "-")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple6
Bob is quiet.
("Bob" "is" "quiet" "+")
triple7
Bob is red.
("Bob" "is" "red" "+")
triple8
Bob is smart.
("Bob" "is" "smart" "+")
triple9
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple11
Gary is not white.
("Gary" "is" "white" "-")
triple13
Gary is smart.
("Gary" "is" "smart" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple14
Harry is green.
("Harry" "is" "green" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
Bob is young.
("Bob" "is" "young" "+")
((triple7) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1