Dave is not furry. Dave is green. Dave is red. Dave is rough. Dave is white. Dave is young. Harry is furry. Harry is green. Harry is white. Harry is young. If Harry is not red then Harry is quiet. If Harry is white then Harry is rough. If Dave is white and Dave is quiet then Dave is rough. All furry things are green. Quiet things are not green. If something is furry and not red then it is young.
Dave is not furry.
("Dave" "is" "furry" "-")
Dave is green.
("Dave" "is" "green" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
If Harry is not red then Harry is quiet.
((("Harry" "is" "red" "~")) -> ("Harry" "is" "quiet" "+"))
If Harry is white then Harry is rough.
((("Harry" "is" "white" "+")) -> ("Harry" "is" "rough" "+"))
If Dave is white and Dave is quiet then Dave is rough.
((("Dave" "is" "white" "+") ("Dave" "is" "quiet" "+")) -> ("Dave" "is" "rough" "+"))
All furry things are green.
((("something" "is" "furry" "+")) -> ("something" "is" "green" "+"))
Quiet things are not green.
((("something" "is" "quiet" "+")) -> ("something" "is" "green" "-"))
If something is furry and not red then it is young.
((("something" "is" "furry" "+") ("something" "is" "red" "~")) -> ("something" "is" "young" "+"))
Harry is young.
True
1
proof
[(triple10)]
("Harry" "is" "young" "+")
triple10
Dave is not red.
False
1
inv-proof
[(triple3)]
("Dave" "is" "red" "-")
triple3
Harry is not quiet.
Unknown
inv-rconc
[@1: Harry is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "quiet" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
@0: Dave is green.[(triple2)] Dave is not furry.[(triple1)] Dave is red.[(triple3)] Dave is rough.[(triple4)] Dave is white.[(triple5)] Dave is young.[(triple6)] Harry is furry.[(triple7)] Harry is green.[(triple8 OR ((triple7) -> rule4))] Harry is white.[(triple9)] Harry is young.[(triple10)] @1: Harry is rough.[(((triple9) -> rule2))]
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is not furry.
("Dave" "is" "furry" "-")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Dave is white.
("Dave" "is" "white" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple6
Harry is furry.
("Harry" "is" "furry" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple8
((triple7) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
((triple9) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1