Anne is green. Anne is nice. Anne is white. Gary is not blue. Gary is not cold. Gary is furry. Gary is not green. Gary is kind. Gary is nice. Gary is not white. All green things are blue. Kind, green things are blue. If something is cold then it is furry. Cold things are kind. All nice, green things are not kind. If Anne is nice then Anne is furry.
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is white.
("Anne" "is" "white" "+")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is not green.
("Gary" "is" "green" "-")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is not white.
("Gary" "is" "white" "-")
All green things are blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
Kind, green things are blue.
((("something" "is" "kind" "+") ("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
If something is cold then it is furry.
((("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
Cold things are kind.
((("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
All nice, green things are not kind.
((("something" "is" "nice" "+") ("something" "is" "green" "+")) -> ("something" "is" "kind" "-"))
If Anne is nice then Anne is furry.
((("Anne" "is" "nice" "+")) -> ("Anne" "is" "furry" "+"))
Gary is kind.
True
1
proof
[(triple8)]
("Gary" "is" "kind" "+")
triple8
Anne is not white.
False
1
inv-proof
[(triple3)]
("Anne" "is" "white" "-")
triple3
Anne is blue.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "blue" "+")
((triple1) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is not blue.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "blue" "-")
((triple1) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is white.[(triple3)] Gary is furry.[(triple6)] Gary is kind.[(triple8)] Gary is nice.[(triple9)] Gary is not blue.[(triple4)] Gary is not cold.[(triple5)] Gary is not green.[(triple7)] Gary is not white.[(triple10)] @1: Anne is blue.[(((triple1) -> rule1))] Anne is furry.[(((triple2) -> rule6))] Anne is not kind.[(((triple2 triple1) -> rule5))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Gary is furry.
("Gary" "is" "furry" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is not blue.
("Gary" "is" "blue" "-")
triple4
Gary is not cold.
("Gary" "is" "cold" "-")
triple5
Gary is not green.
("Gary" "is" "green" "-")
triple7
Gary is not white.
("Gary" "is" "white" "-")
triple10
Anne is blue.
("Anne" "is" "blue" "+")
((triple1) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
((triple2) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not kind.
("Anne" "is" "kind" "-")
((triple2 triple1) -> (rule5 % int1))
Anne is not kind.
("Anne" "is" "kind" "-")
int1