Bob is not big. Bob is not green. Bob is kind. Bob is red. Bob is rough. Bob is not smart. Bob is not young. If someone is smart and not big then they are kind. If Bob is big and Bob is smart then Bob is rough. If Bob is smart then Bob is red. If someone is green and not red then they are rough. If someone is kind and not big then they are rough. All young people are not rough.
Bob is not big.
("Bob" "is" "big" "-")
Bob is not green.
("Bob" "is" "green" "-")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is not smart.
("Bob" "is" "smart" "-")
Bob is not young.
("Bob" "is" "young" "-")
If someone is smart and not big then they are kind.
((("someone" "is" "smart" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "kind" "+"))
If Bob is big and Bob is smart then Bob is rough.
((("Bob" "is" "big" "+") ("Bob" "is" "smart" "+")) -> ("Bob" "is" "rough" "+"))
If Bob is smart then Bob is red.
((("Bob" "is" "smart" "+")) -> ("Bob" "is" "red" "+"))
If someone is green and not red then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "rough" "+"))
If someone is kind and not big then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "rough" "+"))
All young people are not rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "-"))
Bob is not green.
True
1
proof
[(triple2)]
("Bob" "is" "green" "-")
triple2
Bob is not red.
False
1
inv-proof
[(triple4)]
("Bob" "is" "red" "-")
triple4
@0: Bob is kind.[(triple3)] Bob is not big.[(triple1)] Bob is not green.[(triple2)] Bob is not smart.[(triple6)] Bob is not young.[(triple7)] Bob is red.[(triple4)] Bob is rough.[(triple5 OR ((triple3 triple1) -> rule5))]
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is not big.
("Bob" "is" "big" "-")
triple1
Bob is not green.
("Bob" "is" "green" "-")
triple2
Bob is not smart.
("Bob" "is" "smart" "-")
triple6
Bob is not young.
("Bob" "is" "young" "-")
triple7
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple5
((triple3 triple1) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1