Harry is young. If someone is quiet then they are red. All quiet people are not smart. All young, red people are smart. Green, quiet people are cold. If Harry is smart and Harry is green then Harry is not young. If someone is green and not quiet then they are white.
Harry is young.
("Harry" "is" "young" "+")
If someone is quiet then they are red.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "red" "+"))
All quiet people are not smart.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "-"))
All young, red people are smart.
((("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
Green, quiet people are cold.
((("someone" "is" "green" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
If Harry is smart and Harry is green then Harry is not young.
((("Harry" "is" "smart" "+") ("Harry" "is" "green" "+")) -> ("Harry" "is" "young" "-"))
If someone is green and not quiet then they are white.
((("someone" "is" "green" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "white" "+"))
Harry is young.
True
1
proof
[(triple1)]
("Harry" "is" "young" "+")
triple1
Harry is not young.
False
1
inv-proof
[(triple1)]
("Harry" "is" "young" "-")
triple1
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "red" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Harry is young.[(triple1)]
Harry is young.
("Harry" "is" "young" "+")
triple1