Bob is big. Bob is blue. Bob is not green. Bob is not quiet. Bob is round. Bob is smart. Bob is white. Dave is big. Dave is blue. Dave is not green. Dave is not quiet. Dave is not round. Dave is smart. Dave is white. If someone is green and not round then they are big. If Bob is not blue then Bob is not big.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is not green.
("Bob" "is" "green" "-")
Bob is not quiet.
("Bob" "is" "quiet" "-")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is not green.
("Dave" "is" "green" "-")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Dave is not round.
("Dave" "is" "round" "-")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
If someone is green and not round then they are big.
((("someone" "is" "green" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "big" "+"))
If Bob is not blue then Bob is not big.
((("Bob" "is" "blue" "~")) -> ("Bob" "is" "big" "-"))
Dave is white.
True
1
proof
[(triple14)]
("Dave" "is" "white" "+")
triple14
Bob is not blue.
False
1
inv-proof
[(triple2)]
("Bob" "is" "blue" "-")
triple2
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is not green.[(triple3)] Bob is not quiet.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6)] Bob is white.[(triple7)] Dave is big.[(triple8)] Dave is blue.[(triple9)] Dave is not green.[(triple10)] Dave is not quiet.[(triple11)] Dave is not round.[(triple12)] Dave is smart.[(triple13)] Dave is white.[(triple14)]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is not green.
("Bob" "is" "green" "-")
triple3
Bob is not quiet.
("Bob" "is" "quiet" "-")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple5
Bob is smart.
("Bob" "is" "smart" "+")
triple6
Bob is white.
("Bob" "is" "white" "+")
triple7
Dave is big.
("Dave" "is" "big" "+")
triple8
Dave is blue.
("Dave" "is" "blue" "+")
triple9
Dave is not green.
("Dave" "is" "green" "-")
triple10
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple11
Dave is not round.
("Dave" "is" "round" "-")
triple12
Dave is smart.
("Dave" "is" "smart" "+")
triple13
Dave is white.
("Dave" "is" "white" "+")
triple14