Charlie is big. Charlie is blue. Charlie is not furry. Charlie is not kind. Charlie is not nice. Charlie is not smart. Charlie is white. Dave is big. Dave is blue. Dave is not furry. Dave is not kind. Dave is nice. Dave is not smart. Dave is white. All nice, furry people are not smart. All kind, nice people are smart. If someone is blue and not big then they are furry. If Charlie is smart then Charlie is not furry. Nice, kind people are blue. Furry, smart people are nice.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is not furry.
("Charlie" "is" "furry" "-")
Charlie is not kind.
("Charlie" "is" "kind" "-")
Charlie is not nice.
("Charlie" "is" "nice" "-")
Charlie is not smart.
("Charlie" "is" "smart" "-")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is not furry.
("Dave" "is" "furry" "-")
Dave is not kind.
("Dave" "is" "kind" "-")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is not smart.
("Dave" "is" "smart" "-")
Dave is white.
("Dave" "is" "white" "+")
All nice, furry people are not smart.
((("someone" "is" "nice" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "-"))
All kind, nice people are smart.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
If someone is blue and not big then they are furry.
((("someone" "is" "blue" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "furry" "+"))
If Charlie is smart then Charlie is not furry.
((("Charlie" "is" "smart" "+")) -> ("Charlie" "is" "furry" "-"))
Nice, kind people are blue.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Furry, smart people are nice.
((("someone" "is" "furry" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
Dave is not furry.
True
1
proof
[(triple10)]
("Dave" "is" "furry" "-")
triple10
Dave is not nice.
False
1
inv-proof
[(triple12)]
("Dave" "is" "nice" "-")
triple12
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is not furry.[(triple3)] Charlie is not kind.[(triple4)] Charlie is not nice.[(triple5)] Charlie is not smart.[(triple6)] Charlie is white.[(triple7)] Dave is big.[(triple8)] Dave is blue.[(triple9)] Dave is nice.[(triple12)] Dave is not furry.[(triple10)] Dave is not kind.[(triple11)] Dave is not smart.[(triple13)] Dave is white.[(triple14)]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is not furry.
("Charlie" "is" "furry" "-")
triple3
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple4
Charlie is not nice.
("Charlie" "is" "nice" "-")
triple5
Charlie is not smart.
("Charlie" "is" "smart" "-")
triple6
Charlie is white.
("Charlie" "is" "white" "+")
triple7
Dave is big.
("Dave" "is" "big" "+")
triple8
Dave is blue.
("Dave" "is" "blue" "+")
triple9
Dave is nice.
("Dave" "is" "nice" "+")
triple12
Dave is not furry.
("Dave" "is" "furry" "-")
triple10
Dave is not kind.
("Dave" "is" "kind" "-")
triple11
Dave is not smart.
("Dave" "is" "smart" "-")
triple13
Dave is white.
("Dave" "is" "white" "+")
triple14