Erin is green. Erin is kind. Erin is nice. All red people are green. All nice people are not young. Nice people are not young. If Erin is not kind then Erin is nice. All green people are not rough. Green, red people are not big.
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
All red people are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
All nice people are not young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "-"))
Nice people are not young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "-"))
If Erin is not kind then Erin is nice.
((("Erin" "is" "kind" "~")) -> ("Erin" "is" "nice" "+"))
All green people are not rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "-"))
Green, red people are not big.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "-"))
Erin is kind.
True
1
proof
[(triple2)]
("Erin" "is" "kind" "+")
triple2
Erin is not green.
False
1
inv-proof
[(triple1)]
("Erin" "is" "green" "-")
triple1
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (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 green.[(triple1)] Erin is kind.[(triple2)] Erin is nice.[(triple3)] @1: Erin is not rough.[(((triple1) -> rule5))] Erin is not young.[(((triple3) -> rule2) OR ((triple3) -> rule3))]
Erin is green.
("Erin" "is" "green" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Erin is not rough.
("Erin" "is" "rough" "-")
((triple1) -> (rule5 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Erin is not young.
("Erin" "is" "young" "-")
((triple3) -> (rule2 % int1))
Erin is not young.
("Erin" "is" "young" "-")
int1
((triple3) -> (rule3 % int1))
Erin is not young.
("Erin" "is" "young" "-")
int1