Anne is cold. Erin is furry. Erin is kind. If Anne is cold and Anne is white then Anne is young. If Erin is kind then Erin is young. All cold, round people are furry. Nice people are round. If someone is furry then they are nice. If someone is round and furry then they are nice.
Anne is cold.
("Anne" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
If Anne is cold and Anne is white then Anne is young.
((("Anne" "is" "cold" "+") ("Anne" "is" "white" "+")) -> ("Anne" "is" "young" "+"))
If Erin is kind then Erin is young.
((("Erin" "is" "kind" "+")) -> ("Erin" "is" "young" "+"))
All cold, round people are furry.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
Nice people are round.
((("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is furry then they are nice.
((("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and furry then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
Anne is cold.
True
1
proof
[(triple1)]
("Anne" "is" "cold" "+")
triple1
Erin is not furry.
False
1
inv-proof
[(triple2)]
("Erin" "is" "furry" "-")
triple2
Anne is not nice.
Unknown
inv-rconc
[@4: Anne is nice.[CWA. Example of deepest failure = (rule5 <- rule3 <- rule4 <- rule6 <- FAIL)]]
("Anne" "is" "nice" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Anne is cold.[(triple1)] Erin is furry.[(triple2)] Erin is kind.[(triple3)] @1: Erin is nice.[(((triple2) -> rule5))] Erin is young.[(((triple3) -> rule2))] @2: Erin is round.[(((((triple2) -> rule5)) -> rule4))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is kind.
("Erin" "is" "kind" "+")
triple3
Erin is nice.
("Erin" "is" "nice" "+")
((triple2) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple3) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((((triple2) -> (rule5 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2