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