Dave is green. Dave is kind. Dave is quiet. Dave is white. Gary is furry. Gary is green. Gary is quiet. Gary is round. Gary is white. Harry is kind. If someone is round then they are kind.
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is white.
("Dave" "is" "white" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is round then they are kind.
((("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
Dave is quiet.
True
1
proof
[(triple3)]
("Dave" "is" "quiet" "+")
triple3
Gary is not white.
False
1
inv-proof
[(triple9)]
("Gary" "is" "white" "-")
triple9
Gary is kind.
True
2
proof
[(((triple8) -> rule1))]
("Gary" "is" "kind" "+")
((triple8) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not kind.
False
2
inv-proof
[(((triple8) -> rule1))]
("Gary" "is" "kind" "-")
((triple8) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Harry is not smart.
Unknown
inv-random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
@0: Dave is green.[(triple1)] Dave is kind.[(triple2)] Dave is quiet.[(triple3)] Dave is white.[(triple4)] Gary is furry.[(triple5)] Gary is green.[(triple6)] Gary is quiet.[(triple7)] Gary is round.[(triple8)] Gary is white.[(triple9)] Harry is kind.[(triple10)] @1: Gary is kind.[(((triple8) -> rule1))]
Dave is green.
("Dave" "is" "green" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Dave is white.
("Dave" "is" "white" "+")
triple4
Gary is furry.
("Gary" "is" "furry" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple8
Gary is white.
("Gary" "is" "white" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
((triple8) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1