Anne is blue. Anne is cold. Anne is furry. Anne is quiet. Anne is not white. Dave is blue. Dave is not cold. Dave is furry. Dave is green. Gary is furry. Gary is not young. Harry is blue. Harry is not cold. Harry is furry. Harry is quiet. All young, quiet things are green. If something is blue and not cold then it is white.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is not white.
("Anne" "is" "white" "-")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is not cold.
("Dave" "is" "cold" "-")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is not young.
("Gary" "is" "young" "-")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is not cold.
("Harry" "is" "cold" "-")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
All young, quiet things are green.
((("something" "is" "young" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "green" "+"))
If something is blue and not cold then it is white.
((("something" "is" "blue" "+") ("something" "is" "cold" "~")) -> ("something" "is" "white" "+"))
Anne is not white.
True
1
proof
[(triple5)]
("Anne" "is" "white" "-")
triple5
Anne is not blue.
False
1
inv-proof
[(triple1)]
("Anne" "is" "blue" "-")
triple1
Dave is white.
True
3
proof
[(((triple6 triple7) -> rule2))]
("Dave" "is" "white" "+")
((triple6 triple7) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Harry is not white.
False
3
inv-proof
[(((triple12 triple13) -> rule2))]
("Harry" "is" "white" "-")
((triple12 triple13) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Anne is not green.
Unknown
inv-rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "green" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "green" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is not white.[(triple5)] Anne is quiet.[(triple4)] Dave is blue.[(triple6)] Dave is furry.[(triple8)] Dave is green.[(triple9)] Dave is not cold.[(triple7)] Gary is furry.[(triple10)] Gary is not young.[(triple11)] Harry is blue.[(triple12)] Harry is furry.[(triple14)] Harry is not cold.[(triple13)] Harry is quiet.[(triple15)] @1: Dave is white.[(((triple6 triple7) -> rule2))] Harry is white.[(((triple12 triple13) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
Anne is not white.
("Anne" "is" "white" "-")
triple5
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is furry.
("Dave" "is" "furry" "+")
triple8
Dave is green.
("Dave" "is" "green" "+")
triple9
Dave is not cold.
("Dave" "is" "cold" "-")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple10
Gary is not young.
("Gary" "is" "young" "-")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is furry.
("Harry" "is" "furry" "+")
triple14
Harry is not cold.
("Harry" "is" "cold" "-")
triple13
Harry is quiet.
("Harry" "is" "quiet" "+")
triple15
Dave is white.
("Dave" "is" "white" "+")
((triple6 triple7) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple12 triple13) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1