Dave is quiet. Erin is not green. Gary is smart. Harry is cold. Harry is furry. Harry is smart. Harry is young. If Harry is green then Harry is not young. If something is young and not green then it is smart. If something is cold and quiet then it is rough.
Dave is quiet.
("Dave" "is" "quiet" "+")
Erin is not green.
("Erin" "is" "green" "-")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
If Harry is green then Harry is not young.
((("Harry" "is" "green" "+")) -> ("Harry" "is" "young" "-"))
If something is young and not green then it is smart.
((("something" "is" "young" "+") ("something" "is" "green" "~")) -> ("something" "is" "smart" "+"))
If something is cold and quiet then it is rough.
((("something" "is" "cold" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
Gary is smart.
True
1
proof
[(triple3)]
("Gary" "is" "smart" "+")
triple3
Harry is not smart.
False
1
inv-proof
[(triple6)]
("Harry" "is" "smart" "-")
triple6
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "rough" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Dave is quiet.[(triple1)] Erin is not green.[(triple2)] Gary is smart.[(triple3)] Harry is cold.[(triple4)] Harry is furry.[(triple5)] Harry is smart.[(triple6)] Harry is young.[(triple7)]
Dave is quiet.
("Dave" "is" "quiet" "+")
triple1
Erin is not green.
("Erin" "is" "green" "-")
triple2
Gary is smart.
("Gary" "is" "smart" "+")
triple3
Harry is cold.
("Harry" "is" "cold" "+")
triple4
Harry is furry.
("Harry" "is" "furry" "+")
triple5
Harry is smart.
("Harry" "is" "smart" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple7