Dave is not furry. Dave is kind. Dave is not red. Dave is not smart. Dave is young. Fiona is kind. Fiona is not red. Fiona is rough. Fiona is young. Gary is furry. Gary is not smart. Gary is young. If something is nice then it is kind. All kind, furry things are nice. Furry, red things are smart.
Dave is not furry.
("Dave" "is" "furry" "-")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is not red.
("Dave" "is" "red" "-")
Dave is not smart.
("Dave" "is" "smart" "-")
Dave is young.
("Dave" "is" "young" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is not smart.
("Gary" "is" "smart" "-")
Gary is young.
("Gary" "is" "young" "+")
If something is nice then it is kind.
((("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
All kind, furry things are nice.
((("something" "is" "kind" "+") ("something" "is" "furry" "+")) -> ("something" "is" "nice" "+"))
Furry, red things are smart.
((("something" "is" "furry" "+") ("something" "is" "red" "+")) -> ("something" "is" "smart" "+"))
Dave is not furry.
True
1
proof
[(triple1)]
("Dave" "is" "furry" "-")
triple1
Fiona is not kind.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "kind" "-")
triple6
Gary is not kind.
Unknown
inv-rconc
[@2: Gary is kind.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Gary" "is" "kind" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Dave is kind.[(triple2)] Dave is not furry.[(triple1)] Dave is not red.[(triple3)] Dave is not smart.[(triple4)] Dave is young.[(triple5)] Fiona is kind.[(triple6)] Fiona is not red.[(triple7)] Fiona is rough.[(triple8)] Fiona is young.[(triple9)] Gary is furry.[(triple10)] Gary is not smart.[(triple11)] Gary is young.[(triple12)]
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is not furry.
("Dave" "is" "furry" "-")
triple1
Dave is not red.
("Dave" "is" "red" "-")
triple3
Dave is not smart.
("Dave" "is" "smart" "-")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is not red.
("Fiona" "is" "red" "-")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
Fiona is young.
("Fiona" "is" "young" "+")
triple9
Gary is furry.
("Gary" "is" "furry" "+")
triple10
Gary is not smart.
("Gary" "is" "smart" "-")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12