Anne is smart. Erin is rough. If someone is kind and not smart then they are nice. Cold people are not kind. Rough people are cold.
Anne is smart.
("Anne" "is" "smart" "+")
Erin is rough.
("Erin" "is" "rough" "+")
If someone is kind and not smart then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "nice" "+"))
Cold people are not kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "-"))
Rough people are cold.
((("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
Erin is rough.
True
1
proof
[(triple2)]
("Erin" "is" "rough" "+")
triple2
Anne is not smart.
False
1
inv-proof
[(triple1)]
("Anne" "is" "smart" "-")
triple1
Erin is cold.
True
2
proof
[(((triple2) -> rule3))]
("Erin" "is" "cold" "+")
((triple2) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not cold.
False
2
inv-proof
[(((triple2) -> rule3))]
("Erin" "is" "cold" "-")
((triple2) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not kind.
True
3
proof
[(((((triple2) -> rule3)) -> rule2))]
("Erin" "is" "kind" "-")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is kind.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule2))]
("Erin" "is" "kind" "+")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is not nice.
Unknown
inv-rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "nice" "-")
Anne is nice.
Unknown
rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "nice" "+")
Anne is not cold.
Unknown
inv-rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "cold" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
@0: Anne is smart.[(triple1)] Erin is rough.[(triple2)] @1: Erin is cold.[(((triple2) -> rule3))] @2: Erin is not kind.[(((((triple2) -> rule3)) -> rule2))]
Anne is smart.
("Anne" "is" "smart" "+")
triple1
Erin is rough.
("Erin" "is" "rough" "+")
triple2
Erin is cold.
("Erin" "is" "cold" "+")
((triple2) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not kind.
("Erin" "is" "kind" "-")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2