Erin is not big. Erin is cold. Erin is nice. Erin is red. Erin is not rough. Gary is red. Gary is rough. If someone is smart then they are cold. All smart people are not nice. All rough people are red. All smart, big people are red. If someone is kind and big then they are rough. If Gary is cold and Gary is not rough then Gary is not nice.
Erin is not big.
("Erin" "is" "big" "-")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is not rough.
("Erin" "is" "rough" "-")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If someone is smart then they are cold.
((("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
All smart people are not nice.
((("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "-"))
All rough people are red.
((("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
All smart, big people are red.
((("someone" "is" "smart" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and big then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If Gary is cold and Gary is not rough then Gary is not nice.
((("Gary" "is" "cold" "+") ("Gary" "is" "rough" "~")) -> ("Gary" "is" "nice" "-"))
Erin is not big.
True
1
proof
[(triple1)]
("Erin" "is" "big" "-")
triple1
Erin is not cold.
False
1
inv-proof
[(triple2)]
("Erin" "is" "cold" "-")
triple2
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "cold" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Erin is cold.[(triple2)] Erin is nice.[(triple3)] Erin is not big.[(triple1)] Erin is not rough.[(triple5)] Erin is red.[(triple4)] Gary is red.[(triple6 OR ((triple7) -> rule3))] Gary is rough.[(triple7)]
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Erin is not big.
("Erin" "is" "big" "-")
triple1
Erin is not rough.
("Erin" "is" "rough" "-")
triple5
Erin is red.
("Erin" "is" "red" "+")
triple4
Gary is red.
("Gary" "is" "red" "+")
triple6
((triple7) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
triple7