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