Anne is cold. Anne is furry. Anne is green. Anne is not quiet. Anne is red. Anne is not rough. Anne is not young. Bob is cold. Bob is furry. Bob is green. Bob is quiet. Bob is red. Bob is not rough. Bob is young. If something is red and not cold then it is young. All red things are furry.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is not quiet.
("Anne" "is" "quiet" "-")
Anne is red.
("Anne" "is" "red" "+")
Anne is not rough.
("Anne" "is" "rough" "-")
Anne is not young.
("Anne" "is" "young" "-")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is not rough.
("Bob" "is" "rough" "-")
Bob is young.
("Bob" "is" "young" "+")
If something is red and not cold then it is young.
((("something" "is" "red" "+") ("something" "is" "cold" "~")) -> ("something" "is" "young" "+"))
All red things are furry.
((("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
Anne is cold.
True
1
proof
[(triple1)]
("Anne" "is" "cold" "+")
triple1
Anne is not cold.
False
1
inv-proof
[(triple1)]
("Anne" "is" "cold" "-")
triple1
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2 OR ((triple5) -> rule2))] Anne is green.[(triple3)] Anne is not quiet.[(triple4)] Anne is not rough.[(triple6)] Anne is not young.[(triple7)] Anne is red.[(triple5)] Bob is cold.[(triple8)] Bob is furry.[(triple9 OR ((triple12) -> rule2))] Bob is green.[(triple10)] Bob is not rough.[(triple13)] Bob is quiet.[(triple11)] Bob is red.[(triple12)] Bob is young.[(triple14)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
((triple5) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple4
Anne is not rough.
("Anne" "is" "rough" "-")
triple6
Anne is not young.
("Anne" "is" "young" "-")
triple7
Anne is red.
("Anne" "is" "red" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple8
Bob is furry.
("Bob" "is" "furry" "+")
triple9
((triple12) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
triple10
Bob is not rough.
("Bob" "is" "rough" "-")
triple13
Bob is quiet.
("Bob" "is" "quiet" "+")
triple11
Bob is red.
("Bob" "is" "red" "+")
triple12
Bob is young.
("Bob" "is" "young" "+")
triple14