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