Anne is cold. Erin is not big. Erin is furry. If Erin is quiet then Erin is cold. All quiet things are furry. If something is big then it is not furry. White things are furry. If Anne is white and Anne is cold then Anne is furry. All quiet things are cold. If something is furry then it is quiet. If something is big and not nice then it is quiet.
Anne is cold.
("Anne" "is" "cold" "+")
Erin is not big.
("Erin" "is" "big" "-")
Erin is furry.
("Erin" "is" "furry" "+")
If Erin is quiet then Erin is cold.
((("Erin" "is" "quiet" "+")) -> ("Erin" "is" "cold" "+"))
All quiet things are furry.
((("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
If something is big then it is not furry.
((("something" "is" "big" "+")) -> ("something" "is" "furry" "-"))
White things are furry.
((("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
If Anne is white and Anne is cold then Anne is furry.
((("Anne" "is" "white" "+") ("Anne" "is" "cold" "+")) -> ("Anne" "is" "furry" "+"))
All quiet things are cold.
((("something" "is" "quiet" "+")) -> ("something" "is" "cold" "+"))
If something is furry then it is quiet.
((("something" "is" "furry" "+")) -> ("something" "is" "quiet" "+"))
If something is big and not nice then it is quiet.
((("something" "is" "big" "+") ("something" "is" "nice" "~")) -> ("something" "is" "quiet" "+"))
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 not furry.
Unknown
inv-rconc
[@3: Anne is furry.[CWA. Example of deepest failure = (rule2 <- rule7 <- rule4 <- FAIL)]]
("Anne" "is" "furry" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is cold.[(triple1)] Erin is furry.[(triple3)] Erin is not big.[(triple2)] @1: Erin is quiet.[(((triple3) -> rule7))] @2: Erin is cold.[(((((triple3) -> rule7)) -> rule1) OR ((((triple3) -> rule7)) -> rule6))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple3
Erin is not big.
("Erin" "is" "big" "-")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple3) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((((triple3) -> (rule7 % int2))) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple3) -> (rule7 % int2))) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2