Anne is young. Dave is rough. Fiona is smart. Harry is red. If someone is furry and smart then they are young. Quiet people are smart. If someone is furry then they are red.
Anne is young.
("Anne" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is furry and smart then they are young.
((("someone" "is" "furry" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
Quiet people are smart.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "+"))
If someone is furry then they are red.
((("someone" "is" "furry" "+")) -> ("someone" "is" "red" "+"))
Fiona is smart.
True
1
proof
[(triple3)]
("Fiona" "is" "smart" "+")
triple3
Anne is not young.
False
1
inv-proof
[(triple1)]
("Anne" "is" "young" "-")
triple1
Anne is not smart.
Unknown
inv-rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "smart" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
@0: Anne is young.[(triple1)] Dave is rough.[(triple2)] Fiona is smart.[(triple3)] Harry is red.[(triple4)]
Anne is young.
("Anne" "is" "young" "+")
triple1
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple3
Harry is red.
("Harry" "is" "red" "+")
triple4