Dave is blue. Dave is round. Dave is white. If someone is quiet then they are not blue. If Dave is blue then Dave is not cold. If Dave is not round then Dave is quiet. All white people are not cold. All furry, quiet people are cold. Blue, round people are furry.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
If someone is quiet then they are not blue.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "-"))
If Dave is blue then Dave is not cold.
((("Dave" "is" "blue" "+")) -> ("Dave" "is" "cold" "-"))
If Dave is not round then Dave is quiet.
((("Dave" "is" "round" "~")) -> ("Dave" "is" "quiet" "+"))
All white people are not cold.
((("someone" "is" "white" "+")) -> ("someone" "is" "cold" "-"))
All furry, quiet people are cold.
((("someone" "is" "furry" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
Blue, round people are furry.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
Dave is round.
True
1
proof
[(triple2)]
("Dave" "is" "round" "+")
triple2
Dave is not round.
False
1
inv-proof
[(triple2)]
("Dave" "is" "round" "-")
triple2
Dave is not cold.
True
2
proof
[(((triple1) -> rule2) OR ((triple3) -> rule4))]
("Dave" "is" "cold" "-")
((triple1) -> (rule2 % int1))
Dave is not cold.
("Dave" "is" "cold" "-")
int1
((triple3) -> (rule4 % int1))
Dave is not cold.
("Dave" "is" "cold" "-")
int1
Dave is not furry.
False
3
inv-proof
[(((triple1 triple2) -> rule6))]
("Dave" "is" "furry" "-")
((triple1 triple2) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is not quiet.
Unknown
inv-rconc
[@1: Dave is quiet.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "quiet" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Dave is blue.[(triple1)] Dave is round.[(triple2)] Dave is white.[(triple3)] @1: Dave is furry.[(((triple1 triple2) -> rule6))] Dave is not cold.[(((triple1) -> rule2) OR ((triple3) -> rule4))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is round.
("Dave" "is" "round" "+")
triple2
Dave is white.
("Dave" "is" "white" "+")
triple3
Dave is furry.
("Dave" "is" "furry" "+")
((triple1 triple2) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is not cold.
("Dave" "is" "cold" "-")
((triple1) -> (rule2 % int1))
Dave is not cold.
("Dave" "is" "cold" "-")
int1
((triple3) -> (rule4 % int1))
Dave is not cold.
("Dave" "is" "cold" "-")
int1