Anne is red. Erin is white. Harry is white. If something is white then it is cold. Cold, furry things are red. Smart things are round.
Anne is red.
("Anne" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is white.
("Harry" "is" "white" "+")
If something is white then it is cold.
((("something" "is" "white" "+")) -> ("something" "is" "cold" "+"))
Cold, furry things are red.
((("something" "is" "cold" "+") ("something" "is" "furry" "+")) -> ("something" "is" "red" "+"))
Smart things are round.
((("something" "is" "smart" "+")) -> ("something" "is" "round" "+"))
Erin is white.
True
1
proof
[(triple2)]
("Erin" "is" "white" "+")
triple2
Anne is not red.
False
1
inv-proof
[(triple1)]
("Anne" "is" "red" "-")
triple1
Erin is cold.
True
2
proof
[(((triple2) -> rule1))]
("Erin" "is" "cold" "+")
((triple2) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not cold.
False
2
inv-proof
[(((triple2) -> rule1))]
("Erin" "is" "cold" "-")
((triple2) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not round.
Unknown
inv-rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "round" "-")
Harry is red.
Unknown
rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "red" "+")
Erin is not smart.
Unknown
inv-random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is red.[(triple1)] Erin is white.[(triple2)] Harry is white.[(triple3)] @1: Erin is cold.[(((triple2) -> rule1))] Harry is cold.[(((triple3) -> rule1))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Erin is white.
("Erin" "is" "white" "+")
triple2
Harry is white.
("Harry" "is" "white" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
((triple2) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple3) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1