Gary is not big. Gary is green. Gary is young. All kind people are not green. All kind people are not smart. Young, furry people are not smart. If Gary is green then Gary is not kind. All green people are furry. If someone is big and furry then they are cold.
Gary is not big.
("Gary" "is" "big" "-")
Gary is green.
("Gary" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
All kind people are not green.
((("someone" "is" "kind" "+")) -> ("someone" "is" "green" "-"))
All kind people are not smart.
((("someone" "is" "kind" "+")) -> ("someone" "is" "smart" "-"))
Young, furry people are not smart.
((("someone" "is" "young" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "-"))
If Gary is green then Gary is not kind.
((("Gary" "is" "green" "+")) -> ("Gary" "is" "kind" "-"))
All green people are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
If someone is big and furry then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
Gary is not big.
True
1
proof
[(triple1)]
("Gary" "is" "big" "-")
triple1
Gary is not young.
False
1
inv-proof
[(triple3)]
("Gary" "is" "young" "-")
triple3
Gary is furry.
True
2
proof
[(((triple2) -> rule5))]
("Gary" "is" "furry" "+")
((triple2) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is kind.
False
2
inv-proof
[(((triple2) -> rule4))]
("Gary" "is" "kind" "+")
((triple2) -> (rule4 % int1))
Gary is not kind.
("Gary" "is" "kind" "-")
int1
Gary is not smart.
True
4
proof
[(((triple3 ((triple2) -> rule5)) -> rule3))]
("Gary" "is" "smart" "-")
((triple3 ((triple2) -> (rule5 % int2))) -> (rule3 % int1))
Gary is not smart.
("Gary" "is" "smart" "-")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
False
4
inv-proof
[(((triple3 ((triple2) -> rule5)) -> rule3))]
("Gary" "is" "smart" "+")
((triple3 ((triple2) -> (rule5 % int2))) -> (rule3 % int1))
Gary is not smart.
("Gary" "is" "smart" "-")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
@0: Gary is green.[(triple2)] Gary is not big.[(triple1)] Gary is young.[(triple3)] @1: Gary is furry.[(((triple2) -> rule5))] Gary is not kind.[(((triple2) -> rule4))] @2: Gary is not smart.[(((triple3 ((triple2) -> rule5)) -> rule3))]
Gary is green.
("Gary" "is" "green" "+")
triple2
Gary is not big.
("Gary" "is" "big" "-")
triple1
Gary is young.
("Gary" "is" "young" "+")
triple3
Gary is furry.
("Gary" "is" "furry" "+")
((triple2) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not kind.
("Gary" "is" "kind" "-")
((triple2) -> (rule4 % int1))
Gary is not kind.
("Gary" "is" "kind" "-")
int1
Gary is not smart.
("Gary" "is" "smart" "-")
((triple3 ((triple2) -> (rule5 % int2))) -> (rule3 % int1))
Gary is not smart.
("Gary" "is" "smart" "-")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2