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