Bob is cold. Bob is furry. Bob is not kind. Bob is red. Bob is rough. Bob is round. Bob is not smart. Kind things are not round. If something is kind then it is cold. If Bob is rough and Bob is kind then Bob is red.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is not smart.
("Bob" "is" "smart" "-")
Kind things are not round.
((("something" "is" "kind" "+")) -> ("something" "is" "round" "-"))
If something is kind then it is cold.
((("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
If Bob is rough and Bob is kind then Bob is red.
((("Bob" "is" "rough" "+") ("Bob" "is" "kind" "+")) -> ("Bob" "is" "red" "+"))
Bob is cold.
True
1
proof
[(triple1)]
("Bob" "is" "cold" "+")
triple1
Bob is not rough.
False
1
inv-proof
[(triple5)]
("Bob" "is" "rough" "-")
triple5
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is not kind.[(triple3)] Bob is not smart.[(triple7)] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6)]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is not kind.
("Bob" "is" "kind" "-")
triple3
Bob is not smart.
("Bob" "is" "smart" "-")
triple7
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Bob is round.
("Bob" "is" "round" "+")
triple6