Anne is cold. Anne is quiet. Anne is white. Bob is young. Dave is cold. Dave is kind. Dave is nice. Dave is young. Erin is kind. Erin is not nice. If something is cold then it is green. If Erin is young then Erin is green. If something is quiet and cold then it is nice.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is not nice.
("Erin" "is" "nice" "-")
If something is cold then it is green.
((("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
If Erin is young then Erin is green.
((("Erin" "is" "young" "+")) -> ("Erin" "is" "green" "+"))
If something is quiet and cold then it is nice.
((("something" "is" "quiet" "+") ("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
Dave is nice.
True
1
proof
[(triple7)]
("Dave" "is" "nice" "+")
triple7
Anne is not cold.
False
1
inv-proof
[(triple1)]
("Anne" "is" "cold" "-")
triple1
Dave is green.
True
2
proof
[(((triple5) -> rule1))]
("Dave" "is" "green" "+")
((triple5) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Anne is not nice.
False
3
inv-proof
[(((triple2 triple1) -> rule3))]
("Anne" "is" "nice" "-")
((triple2 triple1) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "nice" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "green" "+")
Anne is not young.
Unknown
inv-random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2)] Anne is white.[(triple3)] Bob is young.[(triple4)] Dave is cold.[(triple5)] Dave is kind.[(triple6)] Dave is nice.[(triple7)] Dave is young.[(triple8)] Erin is kind.[(triple9)] Erin is not nice.[(triple10)] @1: Anne is green.[(((triple1) -> rule1))] Anne is nice.[(((triple2 triple1) -> rule3))] Dave is green.[(((triple5) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple7
Dave is young.
("Dave" "is" "young" "+")
triple8
Erin is kind.
("Erin" "is" "kind" "+")
triple9
Erin is not nice.
("Erin" "is" "nice" "-")
triple10
Anne is green.
("Anne" "is" "green" "+")
((triple1) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
((triple2 triple1) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple5) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1