Erin is not blue. Erin is round. Erin is not smart. All big people are cold. If Erin is blue then Erin is green.
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is round.
("Erin" "is" "round" "+")
Erin is not smart.
("Erin" "is" "smart" "-")
All big people are cold.
((("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If Erin is blue then Erin is green.
((("Erin" "is" "blue" "+")) -> ("Erin" "is" "green" "+"))
Erin is not blue.
True
1
proof
[(triple1)]
("Erin" "is" "blue" "-")
triple1
Erin is smart.
False
1
inv-proof
[(triple3)]
("Erin" "is" "smart" "+")
triple3
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "green" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Erin is not blue.[(triple1)] Erin is not smart.[(triple3)] Erin is round.[(triple2)]
Erin is not blue.
("Erin" "is" "blue" "-")
triple1
Erin is not smart.
("Erin" "is" "smart" "-")
triple3
Erin is round.
("Erin" "is" "round" "+")
triple2