Anne is not big. Anne is blue. Anne is cold. Anne is not furry. Anne is green. Anne is not kind. Gary is big. Gary is not cold. Gary is not furry. Gary is green. Gary is kind. Gary is red. If something is furry then it is big. Furry things are red. If Anne is furry then Anne is cold. Cold, furry things are not blue. If something is green and not big then it is cold. If Anne is not big then Anne is red.
Anne is not big.
("Anne" "is" "big" "-")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is not kind.
("Anne" "is" "kind" "-")
Gary is big.
("Gary" "is" "big" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
If something is furry then it is big.
((("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
Furry things are red.
((("something" "is" "furry" "+")) -> ("something" "is" "red" "+"))
If Anne is furry then Anne is cold.
((("Anne" "is" "furry" "+")) -> ("Anne" "is" "cold" "+"))
Cold, furry things are not blue.
((("something" "is" "cold" "+") ("something" "is" "furry" "+")) -> ("something" "is" "blue" "-"))
If something is green and not big then it is cold.
((("something" "is" "green" "+") ("something" "is" "big" "~")) -> ("something" "is" "cold" "+"))
If Anne is not big then Anne is red.
((("Anne" "is" "big" "~")) -> ("Anne" "is" "red" "+"))
Anne is green.
True
1
proof
[(triple5)]
("Anne" "is" "green" "+")
triple5
Gary is furry.
False
1
inv-proof
[(triple9)]
("Gary" "is" "furry" "+")
triple9
Anne is red.
True
2
proof
[(((triple1) -> rule6))]
("Anne" "is" "red" "+")
((triple1) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is not red.
False
2
inv-proof
[(((triple1) -> rule6))]
("Anne" "is" "red" "-")
((triple1) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
@0: Anne is blue.[(triple2)] Anne is cold.[(triple3 OR ((triple5 triple1) -> rule5))] Anne is green.[(triple5)] Anne is not big.[(triple1)] Anne is not furry.[(triple4)] Anne is not kind.[(triple6)] Gary is big.[(triple7)] Gary is green.[(triple10)] Gary is kind.[(triple11)] Gary is not cold.[(triple8)] Gary is not furry.[(triple9)] Gary is red.[(triple12)] @1: Anne is red.[(((triple1) -> rule6))]
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is cold.
("Anne" "is" "cold" "+")
triple3
((triple5 triple1) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
triple5
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is not furry.
("Anne" "is" "furry" "-")
triple4
Anne is not kind.
("Anne" "is" "kind" "-")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Gary is not cold.
("Gary" "is" "cold" "-")
triple8
Gary is not furry.
("Gary" "is" "furry" "-")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple12
Anne is red.
("Anne" "is" "red" "+")
((triple1) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1