Bob is kind. Charlie is kind. Harry is kind. Green, furry people are smart. All smart people are blue. White, rough people are furry. Smart, blue people are rough. All rough people are green. If Harry is rough and Harry is blue then Harry is kind. Green people are rough. All green people are white.
Bob is kind.
("Bob" "is" "kind" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Green, furry people are smart.
((("someone" "is" "green" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
All smart people are blue.
((("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "+"))
White, rough people are furry.
((("someone" "is" "white" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
Smart, blue people are rough.
((("someone" "is" "smart" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
All rough people are green.
((("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If Harry is rough and Harry is blue then Harry is kind.
((("Harry" "is" "rough" "+") ("Harry" "is" "blue" "+")) -> ("Harry" "is" "kind" "+"))
Green people are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
All green people are white.
((("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
Charlie is kind.
True
1
proof
[(triple2)]
("Charlie" "is" "kind" "+")
triple2
Bob is not kind.
False
1
inv-proof
[(triple1)]
("Bob" "is" "kind" "-")
triple1
@0: Bob is kind.[(triple1)] Charlie is kind.[(triple2)] Harry is kind.[(triple3)]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Harry is kind.
("Harry" "is" "kind" "+")
triple3