Anne is kind. Anne is quiet. Anne is young. Bob is blue. Bob is furry. Bob is young. Dave is cold. Dave is furry. Erin is blue. Erin is furry. Erin is quiet. Erin is young. All cold things are young. If Erin is blue and Erin is kind then Erin is cold. Cold, blue things are furry.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is young.
("Erin" "is" "young" "+")
All cold things are young.
((("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
If Erin is blue and Erin is kind then Erin is cold.
((("Erin" "is" "blue" "+") ("Erin" "is" "kind" "+")) -> ("Erin" "is" "cold" "+"))
Cold, blue things are furry.
((("something" "is" "cold" "+") ("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
Bob is furry.
True
1
proof
[(triple5)]
("Bob" "is" "furry" "+")
triple5
Erin is not blue.
False
1
inv-proof
[(triple9)]
("Erin" "is" "blue" "-")
triple9
Anne is not furry.
Unknown
inv-rconc
[@1: Anne is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "furry" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Anne is young.[(triple3)] Bob is blue.[(triple4)] Bob is furry.[(triple5)] Bob is young.[(triple6)] Dave is cold.[(triple7)] Dave is furry.[(triple8)] Erin is blue.[(triple9)] Erin is furry.[(triple10)] Erin is quiet.[(triple11)] Erin is young.[(triple12)] @1: Dave is young.[(((triple7) -> rule1))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is furry.
("Bob" "is" "furry" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple6
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is furry.
("Dave" "is" "furry" "+")
triple8
Erin is blue.
("Erin" "is" "blue" "+")
triple9
Erin is furry.
("Erin" "is" "furry" "+")
triple10
Erin is quiet.
("Erin" "is" "quiet" "+")
triple11
Erin is young.
("Erin" "is" "young" "+")
triple12
Dave is young.
("Dave" "is" "young" "+")
((triple7) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1