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