Bob is blue. Bob is furry. Bob is kind. Bob is nice. Bob is not red. Bob is smart. Bob is white. If someone is kind and not blue then they are red. If someone is nice and not furry then they are white.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is not red.
("Bob" "is" "red" "-")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
If someone is kind and not blue then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "red" "+"))
If someone is nice and not furry then they are white.
((("someone" "is" "nice" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "white" "+"))
Bob is kind.
True
1
proof
[(triple3)]
("Bob" "is" "kind" "+")
triple3
Bob is not nice.
False
1
inv-proof
[(triple4)]
("Bob" "is" "nice" "-")
triple4
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is not red.[(triple5)] Bob is smart.[(triple6)] Bob is white.[(triple7)]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is not red.
("Bob" "is" "red" "-")
triple5
Bob is smart.
("Bob" "is" "smart" "+")
triple6
Bob is white.
("Bob" "is" "white" "+")
triple7