Anne is blue. Anne is furry. Anne is not green. Anne is kind. Anne is quiet. Anne is red. Anne is round. Bob is furry. Bob is green. Bob is not kind. Bob is not quiet. Bob is red. Dave is blue. Dave is furry. Dave is kind. Dave is quiet. Red, furry people are blue.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is not green.
("Anne" "is" "green" "-")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is not quiet.
("Bob" "is" "quiet" "-")
Bob is red.
("Bob" "is" "red" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Red, furry people are blue.
((("someone" "is" "red" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
Bob is green.
True
1
proof
[(triple9)]
("Bob" "is" "green" "+")
triple9
Bob is not green.
False
1
inv-proof
[(triple9)]
("Bob" "is" "green" "-")
triple9
Bob is blue.
True
3
proof
[(((triple12 triple8) -> rule1))]
("Bob" "is" "blue" "+")
((triple12 triple8) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not blue.
False
3
inv-proof
[(((triple12 triple8) -> rule1))]
("Bob" "is" "blue" "-")
((triple12 triple8) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Anne is blue.[(triple1 OR ((triple6 triple2) -> rule1))] Anne is furry.[(triple2)] Anne is kind.[(triple4)] Anne is not green.[(triple3)] Anne is quiet.[(triple5)] Anne is red.[(triple6)] Anne is round.[(triple7)] Bob is furry.[(triple8)] Bob is green.[(triple9)] Bob is not kind.[(triple10)] Bob is not quiet.[(triple11)] Bob is red.[(triple12)] Dave is blue.[(triple13)] Dave is furry.[(triple14)] Dave is kind.[(triple15)] Dave is quiet.[(triple16)] @1: Bob is blue.[(((triple12 triple8) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple6 triple2) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple4
Anne is not green.
("Anne" "is" "green" "-")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple5
Anne is red.
("Anne" "is" "red" "+")
triple6
Anne is round.
("Anne" "is" "round" "+")
triple7
Bob is furry.
("Bob" "is" "furry" "+")
triple8
Bob is green.
("Bob" "is" "green" "+")
triple9
Bob is not kind.
("Bob" "is" "kind" "-")
triple10
Bob is not quiet.
("Bob" "is" "quiet" "-")
triple11
Bob is red.
("Bob" "is" "red" "+")
triple12
Dave is blue.
("Dave" "is" "blue" "+")
triple13
Dave is furry.
("Dave" "is" "furry" "+")
triple14
Dave is kind.
("Dave" "is" "kind" "+")
triple15
Dave is quiet.
("Dave" "is" "quiet" "+")
triple16
Bob is blue.
("Bob" "is" "blue" "+")
((triple12 triple8) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1