Bob is furry. Bob is kind. Bob is not nice. Bob is quiet. Bob is red. Bob is not rough. Bob is young. All rough, young people are nice. If Bob is rough and Bob is quiet then Bob is young. If Bob is kind then Bob is young. Rough, young people are not quiet. If someone is red then they are quiet. All young, nice people are red. If someone is kind then they are young. If Bob is nice and Bob is young then Bob is rough.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is not nice.
("Bob" "is" "nice" "-")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is not rough.
("Bob" "is" "rough" "-")
Bob is young.
("Bob" "is" "young" "+")
All rough, young people are nice.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If Bob is rough and Bob is quiet then Bob is young.
((("Bob" "is" "rough" "+") ("Bob" "is" "quiet" "+")) -> ("Bob" "is" "young" "+"))
If Bob is kind then Bob is young.
((("Bob" "is" "kind" "+")) -> ("Bob" "is" "young" "+"))
Rough, young people are not quiet.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "-"))
If someone is red then they are quiet.
((("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
All young, nice people are red.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is kind then they are young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If Bob is nice and Bob is young then Bob is rough.
((("Bob" "is" "nice" "+") ("Bob" "is" "young" "+")) -> ("Bob" "is" "rough" "+"))
Bob is not rough.
True
1
proof
[(triple6)]
("Bob" "is" "rough" "-")
triple6
Bob is not red.
False
1
inv-proof
[(triple5)]
("Bob" "is" "red" "-")
triple5
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Bob is not nice.[(triple3)] Bob is not rough.[(triple6)] Bob is quiet.[(triple4 OR ((triple5) -> rule5))] Bob is red.[(triple5)] Bob is young.[(triple7 OR ((triple2) -> rule3) OR ((triple2) -> rule7))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is not nice.
("Bob" "is" "nice" "-")
triple3
Bob is not rough.
("Bob" "is" "rough" "-")
triple6
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
((triple5) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple7
((triple2) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple2) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1