Dave is blue. Dave is cold. Dave is green. Dave is rough. Dave is round. Dave is smart. Dave is young. Gary is not blue. Gary is cold. Gary is not green. Gary is rough. Gary is round. Gary is smart. Gary is young. All green, young people are round.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is not green.
("Gary" "is" "green" "-")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
All green, young people are round.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Gary is not green.
True
1
proof
[(triple10)]
("Gary" "is" "green" "-")
triple10
Gary is not cold.
False
1
inv-proof
[(triple9)]
("Gary" "is" "cold" "-")
triple9
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is green.[(triple3)] Dave is rough.[(triple4)] Dave is round.[(triple5 OR ((triple3 triple7) -> rule1))] Dave is smart.[(triple6)] Dave is young.[(triple7)] Gary is cold.[(triple9)] Gary is not blue.[(triple8)] Gary is not green.[(triple10)] Gary is rough.[(triple11)] Gary is round.[(triple12)] Gary is smart.[(triple13)] Gary is young.[(triple14)]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple5
((triple3 triple7) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is not blue.
("Gary" "is" "blue" "-")
triple8
Gary is not green.
("Gary" "is" "green" "-")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple12
Gary is smart.
("Gary" "is" "smart" "+")
triple13
Gary is young.
("Gary" "is" "young" "+")
triple14