Anne is big. Anne is blue. Anne is cold. Anne is nice. Anne is not quiet. Anne is not young. Gary is big. Gary is not blue. Gary is cold. Gary is furry. Gary is nice. Gary is quiet. If something is nice and not quiet then it is furry.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is not quiet.
("Anne" "is" "quiet" "-")
Anne is not young.
("Anne" "is" "young" "-")
Gary is big.
("Gary" "is" "big" "+")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If something is nice and not quiet then it is furry.
((("something" "is" "nice" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "furry" "+"))
Anne is cold.
True
1
proof
[(triple3)]
("Anne" "is" "cold" "+")
triple3
Anne is not cold.
False
1
inv-proof
[(triple3)]
("Anne" "is" "cold" "-")
triple3
Anne is furry.
True
3
proof
[(((triple4 triple5) -> rule1))]
("Anne" "is" "furry" "+")
((triple4 triple5) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not furry.
False
3
inv-proof
[(((triple4 triple5) -> rule1))]
("Anne" "is" "furry" "-")
((triple4 triple5) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is nice.[(triple4)] Anne is not quiet.[(triple5)] Anne is not young.[(triple6)] Gary is big.[(triple7)] Gary is cold.[(triple9)] Gary is furry.[(triple10)] Gary is nice.[(triple11)] Gary is not blue.[(triple8)] Gary is quiet.[(triple12)] @1: Anne is furry.[(((triple4 triple5) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is cold.
("Anne" "is" "cold" "+")
triple3
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple5
Anne is not young.
("Anne" "is" "young" "-")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is furry.
("Gary" "is" "furry" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is not blue.
("Gary" "is" "blue" "-")
triple8
Gary is quiet.
("Gary" "is" "quiet" "+")
triple12
Anne is furry.
("Anne" "is" "furry" "+")
((triple4 triple5) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1