Anne is white. Bob is not blue. Charlie is furry. Gary is not red. If something is red and not young then it is furry. If something is white then it is cold.
Anne is white.
("Anne" "is" "white" "+")
Bob is not blue.
("Bob" "is" "blue" "-")
Charlie is furry.
("Charlie" "is" "furry" "+")
Gary is not red.
("Gary" "is" "red" "-")
If something is red and not young then it is furry.
((("something" "is" "red" "+") ("something" "is" "young" "~")) -> ("something" "is" "furry" "+"))
If something is white then it is cold.
((("something" "is" "white" "+")) -> ("something" "is" "cold" "+"))
Gary is not red.
True
1
proof
[(triple4)]
("Gary" "is" "red" "-")
triple4
Gary is red.
False
1
inv-proof
[(triple4)]
("Gary" "is" "red" "+")
triple4
Anne is cold.
True
2
proof
[(((triple1) -> rule2))]
("Anne" "is" "cold" "+")
((triple1) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is not cold.
False
2
inv-proof
[(((triple1) -> rule2))]
("Anne" "is" "cold" "-")
((triple1) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "cold" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "cold" "+")
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
@0: Anne is white.[(triple1)] Bob is not blue.[(triple2)] Charlie is furry.[(triple3)] Gary is not red.[(triple4)] @1: Anne is cold.[(((triple1) -> rule2))]
Anne is white.
("Anne" "is" "white" "+")
triple1
Bob is not blue.
("Bob" "is" "blue" "-")
triple2
Charlie is furry.
("Charlie" "is" "furry" "+")
triple3
Gary is not red.
("Gary" "is" "red" "-")
triple4
Anne is cold.
("Anne" "is" "cold" "+")
((triple1) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1