Erin is green. Erin is not round. Erin is not young. If someone is furry then they are green. If someone is blue and not furry then they are big. Young people are not blue.
Erin is green.
("Erin" "is" "green" "+")
Erin is not round.
("Erin" "is" "round" "-")
Erin is not young.
("Erin" "is" "young" "-")
If someone is furry then they are green.
((("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and not furry then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "big" "+"))
Young people are not blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "-"))
Erin is green.
True
1
proof
[(triple1)]
("Erin" "is" "green" "+")
triple1
Erin is not 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 = (rule2 <- FAIL)]]
("Erin" "is" "big" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Erin is green.[(triple1)] Erin is not round.[(triple2)] Erin is not young.[(triple3)]
Erin is green.
("Erin" "is" "green" "+")
triple1
Erin is not round.
("Erin" "is" "round" "-")
triple2
Erin is not young.
("Erin" "is" "young" "-")
triple3