Anne is big. Anne is furry. Anne is not nice. Anne is not quiet. Bob is quiet. Fiona is not cold. Harry is quiet. All white, smart things are cold. If something is big then it is not cold.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is not nice.
("Anne" "is" "nice" "-")
Anne is not quiet.
("Anne" "is" "quiet" "-")
Bob is quiet.
("Bob" "is" "quiet" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
All white, smart things are cold.
((("something" "is" "white" "+") ("something" "is" "smart" "+")) -> ("something" "is" "cold" "+"))
If something is big then it is not cold.
((("something" "is" "big" "+")) -> ("something" "is" "cold" "-"))
Bob is quiet.
True
1
proof
[(triple5)]
("Bob" "is" "quiet" "+")
triple5
Anne is nice.
False
1
inv-proof
[(triple3)]
("Anne" "is" "nice" "+")
triple3
Anne is not cold.
True
2
proof
[(((triple1) -> rule2))]
("Anne" "is" "cold" "-")
((triple1) -> (rule2 % int1))
Anne is not cold.
("Anne" "is" "cold" "-")
int1
Anne is cold.
False
2
inv-proof
[(((triple1) -> rule2))]
("Anne" "is" "cold" "+")
((triple1) -> (rule2 % int1))
Anne is not cold.
("Anne" "is" "cold" "-")
int1
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "cold" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "cold" "+")
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is not nice.[(triple3)] Anne is not quiet.[(triple4)] Bob is quiet.[(triple5)] Fiona is not cold.[(triple6)] Harry is quiet.[(triple7)] @1: Anne is not cold.[(((triple1) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is not nice.
("Anne" "is" "nice" "-")
triple3
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple4
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple6
Harry is quiet.
("Harry" "is" "quiet" "+")
triple7
Anne is not cold.
("Anne" "is" "cold" "-")
((triple1) -> (rule2 % int1))
Anne is not cold.
("Anne" "is" "cold" "-")
int1