Gary is big. Gary is not cold. Gary is green. Gary is kind. Gary is not quiet. Gary is not red. Gary is rough. All big, cold things are kind. All quiet things are kind. If something is green and cold then it is kind. All green things are big. If something is red then it is big. If something is cold then it is green. Cold things are quiet. Quiet, cold things are rough.
Gary is big.
("Gary" "is" "big" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is not quiet.
("Gary" "is" "quiet" "-")
Gary is not red.
("Gary" "is" "red" "-")
Gary is rough.
("Gary" "is" "rough" "+")
All big, cold things are kind.
((("something" "is" "big" "+") ("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
All quiet things are kind.
((("something" "is" "quiet" "+")) -> ("something" "is" "kind" "+"))
If something is green and cold then it is kind.
((("something" "is" "green" "+") ("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
All green things are big.
((("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
If something is red then it is big.
((("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
If something is cold then it is green.
((("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
Cold things are quiet.
((("something" "is" "cold" "+")) -> ("something" "is" "quiet" "+"))
Quiet, cold things are rough.
((("something" "is" "quiet" "+") ("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
Gary is green.
True
1
proof
[(triple3)]
("Gary" "is" "green" "+")
triple3
Gary is not green.
False
1
inv-proof
[(triple3)]
("Gary" "is" "green" "-")
triple3
@0: Gary is big.[(triple1 OR ((triple3) -> rule4))] Gary is green.[(triple3)] Gary is kind.[(triple4)] Gary is not cold.[(triple2)] Gary is not quiet.[(triple5)] Gary is not red.[(triple6)] Gary is rough.[(triple7)]
Gary is big.
("Gary" "is" "big" "+")
triple1
((triple3) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
triple3
Gary is kind.
("Gary" "is" "kind" "+")
triple4
Gary is not cold.
("Gary" "is" "cold" "-")
triple2
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple5
Gary is not red.
("Gary" "is" "red" "-")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple7