Anne is not big. Anne is blue. Anne is not quiet. Anne is white. Bob is blue. Bob is green. Bob is quiet. Bob is round. Bob is white. Dave is big. Dave is not white. Harry is not blue. Harry is green. Harry is not quiet. Harry is round. All quiet things are not furry. If Dave is blue then Dave is big. Quiet, blue things are round. All big, white things are blue. If Anne is furry then Anne is not green. If Dave is green then Dave is not white.
Anne is not big.
("Anne" "is" "big" "-")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is not quiet.
("Anne" "is" "quiet" "-")
Anne is white.
("Anne" "is" "white" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is not white.
("Dave" "is" "white" "-")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is green.
("Harry" "is" "green" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
Harry is round.
("Harry" "is" "round" "+")
All quiet things are not furry.
((("something" "is" "quiet" "+")) -> ("something" "is" "furry" "-"))
If Dave is blue then Dave is big.
((("Dave" "is" "blue" "+")) -> ("Dave" "is" "big" "+"))
Quiet, blue things are round.
((("something" "is" "quiet" "+") ("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
All big, white things are blue.
((("something" "is" "big" "+") ("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
If Anne is furry then Anne is not green.
((("Anne" "is" "furry" "+")) -> ("Anne" "is" "green" "-"))
If Dave is green then Dave is not white.
((("Dave" "is" "green" "+")) -> ("Dave" "is" "white" "-"))
Harry is not quiet.
True
1
proof
[(triple14)]
("Harry" "is" "quiet" "-")
triple14
Bob is not white.
False
1
inv-proof
[(triple9)]
("Bob" "is" "white" "-")
triple9
Bob is not furry.
True
2
proof
[(((triple7) -> rule1))]
("Bob" "is" "furry" "-")
((triple7) -> (rule1 % int1))
Bob is not furry.
("Bob" "is" "furry" "-")
int1
Bob is furry.
False
2
inv-proof
[(((triple7) -> rule1))]
("Bob" "is" "furry" "+")
((triple7) -> (rule1 % int1))
Bob is not furry.
("Bob" "is" "furry" "-")
int1
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "blue" "-")
Anne is round.
Unknown
rconc
[@1: Anne is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "round" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Anne is blue.[(triple2)] Anne is not big.[(triple1)] Anne is not quiet.[(triple3)] Anne is white.[(triple4)] Bob is blue.[(triple5)] Bob is green.[(triple6)] Bob is quiet.[(triple7)] Bob is round.[(triple8 OR ((triple7 triple5) -> rule3))] Bob is white.[(triple9)] Dave is big.[(triple10)] Dave is not white.[(triple11)] Harry is green.[(triple13)] Harry is not blue.[(triple12)] Harry is not quiet.[(triple14)] Harry is round.[(triple15)] @1: Bob is not furry.[(((triple7) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is green.
("Bob" "is" "green" "+")
triple6
Bob is quiet.
("Bob" "is" "quiet" "+")
triple7
Bob is round.
("Bob" "is" "round" "+")
triple8
((triple7 triple5) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
triple9
Dave is big.
("Dave" "is" "big" "+")
triple10
Dave is not white.
("Dave" "is" "white" "-")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple13
Harry is not blue.
("Harry" "is" "blue" "-")
triple12
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple14
Harry is round.
("Harry" "is" "round" "+")
triple15
Bob is not furry.
("Bob" "is" "furry" "-")
((triple7) -> (rule1 % int1))
Bob is not furry.
("Bob" "is" "furry" "-")
int1