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