Bob is young. Dave is quiet. Fiona is green. Harry is furry. If something is kind and not red then it is quiet. If Dave is quiet and Dave is not furry then Dave is kind. If something is young and not red then it is round. All red, quiet things are kind. All round things are green. If something is young and not round then it is green.
Bob is young.
("Bob" "is" "young" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Harry is furry.
("Harry" "is" "furry" "+")
If something is kind and not red then it is quiet.
((("something" "is" "kind" "+") ("something" "is" "red" "~")) -> ("something" "is" "quiet" "+"))
If Dave is quiet and Dave is not furry then Dave is kind.
((("Dave" "is" "quiet" "+") ("Dave" "is" "furry" "~")) -> ("Dave" "is" "kind" "+"))
If something is young and not red then it is round.
((("something" "is" "young" "+") ("something" "is" "red" "~")) -> ("something" "is" "round" "+"))
All red, quiet things are kind.
((("something" "is" "red" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "kind" "+"))
All round things are green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
If something is young and not round then it is green.
((("something" "is" "young" "+") ("something" "is" "round" "~")) -> ("something" "is" "green" "+"))
Harry is furry.
True
1
proof
[(triple4)]
("Harry" "is" "furry" "+")
triple4
Dave is not quiet.
False
1
inv-proof
[(triple2)]
("Dave" "is" "quiet" "-")
triple2
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "kind" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Bob is young.[(triple1)] Dave is quiet.[(triple2)] Fiona is green.[(triple3)] Harry is furry.[(triple4)]
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Harry is furry.
("Harry" "is" "furry" "+")
triple4