Charlie is not smart. Erin is green. Fiona is not kind. Gary is young. If Fiona is nice and Fiona is green then Fiona is not smart. If Erin is kind then Erin is smart.
Charlie is not smart.
("Charlie" "is" "smart" "-")
Erin is green.
("Erin" "is" "green" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Gary is young.
("Gary" "is" "young" "+")
If Fiona is nice and Fiona is green then Fiona is not smart.
((("Fiona" "is" "nice" "+") ("Fiona" "is" "green" "+")) -> ("Fiona" "is" "smart" "-"))
If Erin is kind then Erin is smart.
((("Erin" "is" "kind" "+")) -> ("Erin" "is" "smart" "+"))
Fiona is not kind.
True
1
proof
[(triple3)]
("Fiona" "is" "kind" "-")
triple3
Charlie is smart.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "smart" "+")
triple1
Erin is not smart.
Unknown
inv-rconc
[@1: Erin is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "smart" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Charlie is not smart.[(triple1)] Erin is green.[(triple2)] Fiona is not kind.[(triple3)] Gary is young.[(triple4)]
Charlie is not smart.
("Charlie" "is" "smart" "-")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple3
Gary is young.
("Gary" "is" "young" "+")
triple4