Bob is quiet. Charlie is not green. Harry is smart. Nice people are not green. All quiet, nice people are green. All nice people are not green. All quiet people are not green. If Harry is not quiet then Harry is not cold. If someone is cold and blue then they are nice. Nice people are cold. All green, blue people are not red.
Bob is quiet.
("Bob" "is" "quiet" "+")
Charlie is not green.
("Charlie" "is" "green" "-")
Harry is smart.
("Harry" "is" "smart" "+")
Nice people are not green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "-"))
All quiet, nice people are green.
((("someone" "is" "quiet" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
All nice people are not green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "-"))
All quiet people are not green.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "-"))
If Harry is not quiet then Harry is not cold.
((("Harry" "is" "quiet" "~")) -> ("Harry" "is" "cold" "-"))
If someone is cold and blue then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
Nice people are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
All green, blue people are not red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "-"))
Harry is smart.
True
1
proof
[(triple3)]
("Harry" "is" "smart" "+")
triple3
Charlie is green.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "green" "+")
triple2
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "nice" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Bob is quiet.[(triple1)] Charlie is not green.[(triple2)] Harry is smart.[(triple3)] @1: Bob is not green.[(((triple1) -> rule4))]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Charlie is not green.
("Charlie" "is" "green" "-")
triple2
Harry is smart.
("Harry" "is" "smart" "+")
triple3
Bob is not green.
("Bob" "is" "green" "-")
((triple1) -> (rule4 % int1))
Bob is not green.
("Bob" "is" "green" "-")
int1