Erin is furry. Fiona is not young. Gary is round. Blue people are kind. If Fiona is blue and Fiona is not round then Fiona is not young.
Erin is furry.
("Erin" "is" "furry" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
Gary is round.
("Gary" "is" "round" "+")
Blue people are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If Fiona is blue and Fiona is not round then Fiona is not young.
((("Fiona" "is" "blue" "+") ("Fiona" "is" "round" "~")) -> ("Fiona" "is" "young" "-"))
Gary is round.
True
1
proof
[(triple3)]
("Gary" "is" "round" "+")
triple3
Gary is not round.
False
1
inv-proof
[(triple3)]
("Gary" "is" "round" "-")
triple3
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Erin is furry.[(triple1)] Fiona is not young.[(triple2)] Gary is round.[(triple3)]
Erin is furry.
("Erin" "is" "furry" "+")
triple1
Fiona is not young.
("Fiona" "is" "young" "-")
triple2
Gary is round.
("Gary" "is" "round" "+")
triple3