Dave is quiet. Fiona is kind. Gary is quiet. Harry is quiet. All rough people are kind. Big people are green. If someone is green and big then they are smart.
Dave is quiet.
("Dave" "is" "quiet" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
All rough people are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Big people are green.
((("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is green and big then they are smart.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "smart" "+"))
Gary is quiet.
True
1
proof
[(triple3)]
("Gary" "is" "quiet" "+")
triple3
Harry is not quiet.
False
1
inv-proof
[(triple4)]
("Harry" "is" "quiet" "-")
triple4
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "kind" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
@0: Dave is quiet.[(triple1)] Fiona is kind.[(triple2)] Gary is quiet.[(triple3)] Harry is quiet.[(triple4)]
Dave is quiet.
("Dave" "is" "quiet" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple3
Harry is quiet.
("Harry" "is" "quiet" "+")
triple4