Dave is blue. Dave is quiet. Dave is white. Green, blue things are furry. If Dave is white then Dave is red. All red things are furry.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is white.
("Dave" "is" "white" "+")
Green, blue things are furry.
((("something" "is" "green" "+") ("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
If Dave is white then Dave is red.
((("Dave" "is" "white" "+")) -> ("Dave" "is" "red" "+"))
All red things are furry.
((("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
Dave is white.
True
1
proof
[(triple3)]
("Dave" "is" "white" "+")
triple3
Dave is not quiet.
False
1
inv-proof
[(triple2)]
("Dave" "is" "quiet" "-")
triple2
Dave is red.
True
2
proof
[(((triple3) -> rule2))]
("Dave" "is" "red" "+")
((triple3) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is not red.
False
2
inv-proof
[(((triple3) -> rule2))]
("Dave" "is" "red" "-")
((triple3) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Dave is blue.[(triple1)] Dave is quiet.[(triple2)] Dave is white.[(triple3)] @1: Dave is red.[(((triple3) -> rule2))] @2: Dave is furry.[(((((triple3) -> rule2)) -> rule3))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple2
Dave is white.
("Dave" "is" "white" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
((triple3) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
((((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2