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