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