Dave is furry. Dave is kind. Dave is round. Gary is blue. Gary is furry. Gary is kind. Gary is smart. Smart things are kind. All kind, furry things are smart.
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is round.
("Dave" "is" "round" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Smart things are kind.
((("something" "is" "smart" "+")) -> ("something" "is" "kind" "+"))
All kind, furry things are smart.
((("something" "is" "kind" "+") ("something" "is" "furry" "+")) -> ("something" "is" "smart" "+"))
Gary is blue.
True
1
proof
[(triple4)]
("Gary" "is" "blue" "+")
triple4
Gary is not furry.
False
1
inv-proof
[(triple5)]
("Gary" "is" "furry" "-")
triple5
Dave is smart.
True
3
proof
[(((triple2 triple1) -> rule2))]
("Dave" "is" "smart" "+")
((triple2 triple1) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is not smart.
False
3
inv-proof
[(((triple2 triple1) -> rule2))]
("Dave" "is" "smart" "-")
((triple2 triple1) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Dave is furry.[(triple1)] Dave is kind.[(triple2)] Dave is round.[(triple3)] Gary is blue.[(triple4)] Gary is furry.[(triple5)] Gary is kind.[(triple6 OR ((triple7) -> rule1))] Gary is smart.[(triple7 OR ((triple6 triple5) -> rule2))] @1: Dave is smart.[(((triple2 triple1) -> rule2))]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple4
Gary is furry.
("Gary" "is" "furry" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple6
((triple7) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
triple7
((triple6 triple5) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
((triple2 triple1) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1