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