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