Bob is big. Bob is green. Bob is kind. Bob is nice. Bob is quiet. Bob is white. Bob is young. All white people are kind.
Bob is big.
("Bob" "is" "big" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
All white people are kind.
((("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
Bob is nice.
True
1
proof
[(triple4)]
("Bob" "is" "nice" "+")
triple4
Bob is not kind.
False
1
inv-proof
[(triple3 OR ((triple6) -> rule1))]
("Bob" "is" "kind" "-")
triple3
((triple6) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3 OR ((triple6) -> rule1))] Bob is nice.[(triple4)] Bob is quiet.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
((triple6) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
Bob is white.
("Bob" "is" "white" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple7