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