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