Anne is cold. Fiona is white. Cold people are furry. If someone is blue then they are white. White people are furry. If someone is white and smart then they are furry. All nice, blue people are furry. All nice people are blue. If Anne is red then Anne is blue. If someone is blue and cold then they are furry.
Anne is cold.
("Anne" "is" "cold" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Cold people are furry.
((("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
If someone is blue then they are white.
((("someone" "is" "blue" "+")) -> ("someone" "is" "white" "+"))
White people are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
If someone is white and smart then they are furry.
((("someone" "is" "white" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
All nice, blue people are furry.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
All nice people are blue.
((("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If Anne is red then Anne is blue.
((("Anne" "is" "red" "+")) -> ("Anne" "is" "blue" "+"))
If someone is blue and cold then they are furry.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "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
Anne is furry.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not furry.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "furry" "-")
((triple1) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not white.
Unknown
inv-rconc
[@2: Anne is white.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Anne" "is" "white" "-")
Anne is blue.
Unknown
rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "blue" "+")
Anne is not red.
Unknown
inv-random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Anne is cold.[(triple1)] Fiona is white.[(triple2)] @1: Anne is furry.[(((triple1) -> rule1))] Fiona is furry.[(((triple2) -> rule3))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Fiona is white.
("Fiona" "is" "white" "+")
triple2
Anne is furry.
("Anne" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple2) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1