Erin is cold. If someone is smart and big then they are green. All cold people are not smart. White, green people are not big.
Erin is cold.
("Erin" "is" "cold" "+")
If someone is smart and big then they are green.
((("someone" "is" "smart" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
All cold people are not smart.
((("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "-"))
White, green people are not big.
((("someone" "is" "white" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "-"))
Erin is cold.
True
1
proof
[(triple1)]
("Erin" "is" "cold" "+")
triple1
Erin is not cold.
False
1
inv-proof
[(triple1)]
("Erin" "is" "cold" "-")
triple1
Erin is not smart.
True
2
proof
[(((triple1) -> rule2))]
("Erin" "is" "smart" "-")
((triple1) -> (rule2 % int1))
Erin is not smart.
("Erin" "is" "smart" "-")
int1
Erin is smart.
False
2
inv-proof
[(((triple1) -> rule2))]
("Erin" "is" "smart" "+")
((triple1) -> (rule2 % int1))
Erin is not smart.
("Erin" "is" "smart" "-")
int1
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "green" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
Erin is not round.
Unknown
inv-random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Erin is cold.[(triple1)] @1: Erin is not smart.[(((triple1) -> rule2))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Erin is not smart.
("Erin" "is" "smart" "-")
((triple1) -> (rule2 % int1))
Erin is not smart.
("Erin" "is" "smart" "-")
int1