Bob is blue. Bob is furry. Bob is green. Bob is kind. Bob is nice. Bob is quiet. Bob is smart. Charlie is blue. Charlie is not furry. Charlie is green. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is smart. If Bob is not kind then Bob is furry.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is not furry.
("Charlie" "is" "furry" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
If Bob is not kind then Bob is furry.
((("Bob" "is" "kind" "~")) -> ("Bob" "is" "furry" "+"))
Bob is furry.
True
1
proof
[(triple2)]
("Bob" "is" "furry" "+")
triple2
Bob is not blue.
False
1
inv-proof
[(triple1)]
("Bob" "is" "blue" "-")
triple1
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is kind.[(triple4)] Bob is nice.[(triple5)] Bob is quiet.[(triple6)] Bob is smart.[(triple7)] Charlie is blue.[(triple8)] Charlie is green.[(triple10)] Charlie is kind.[(triple11)] Charlie is nice.[(triple12)] Charlie is not furry.[(triple9)] Charlie is quiet.[(triple13)] Charlie is smart.[(triple14)]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Bob is quiet.
("Bob" "is" "quiet" "+")
triple6
Bob is smart.
("Bob" "is" "smart" "+")
triple7
Charlie is blue.
("Charlie" "is" "blue" "+")
triple8
Charlie is green.
("Charlie" "is" "green" "+")
triple10
Charlie is kind.
("Charlie" "is" "kind" "+")
triple11
Charlie is nice.
("Charlie" "is" "nice" "+")
triple12
Charlie is not furry.
("Charlie" "is" "furry" "-")
triple9
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple13
Charlie is smart.
("Charlie" "is" "smart" "+")
triple14