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