Bob is not blue. Bob is furry. Bob is green. Bob is not kind. Bob is not quiet. Bob is rough. Bob is not round. Dave is blue. Dave is furry. Dave is green. Dave is kind. Dave is quiet. Dave is rough. Dave is round. If Bob is kind then Bob is rough. All blue people are green.
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is not quiet.
("Bob" "is" "quiet" "-")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is not round.
("Bob" "is" "round" "-")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
If Bob is kind then Bob is rough.
((("Bob" "is" "kind" "+")) -> ("Bob" "is" "rough" "+"))
All blue people are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Dave is furry.
True
1
proof
[(triple9)]
("Dave" "is" "furry" "+")
triple9
Dave is not rough.
False
1
inv-proof
[(triple13)]
("Dave" "is" "rough" "-")
triple13
@0: Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is not blue.[(triple1)] Bob is not kind.[(triple4)] Bob is not quiet.[(triple5)] Bob is not round.[(triple7)] Bob is rough.[(triple6)] Dave is blue.[(triple8)] Dave is furry.[(triple9)] Dave is green.[(triple10 OR ((triple8) -> rule2))] Dave is kind.[(triple11)] Dave is quiet.[(triple12)] Dave is rough.[(triple13)] Dave is round.[(triple14)]
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is not blue.
("Bob" "is" "blue" "-")
triple1
Bob is not kind.
("Bob" "is" "kind" "-")
triple4
Bob is not quiet.
("Bob" "is" "quiet" "-")
triple5
Bob is not round.
("Bob" "is" "round" "-")
triple7
Bob is rough.
("Bob" "is" "rough" "+")
triple6
Dave is blue.
("Dave" "is" "blue" "+")
triple8
Dave is furry.
("Dave" "is" "furry" "+")
triple9
Dave is green.
("Dave" "is" "green" "+")
triple10
((triple8) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
triple11
Dave is quiet.
("Dave" "is" "quiet" "+")
triple12
Dave is rough.
("Dave" "is" "rough" "+")
triple13
Dave is round.
("Dave" "is" "round" "+")
triple14