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