Fiona is big. Fiona is green. Gary is not big. All quiet, big things are not nice. Furry things are big. If Fiona is not green then Fiona is furry.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Gary is not big.
("Gary" "is" "big" "-")
All quiet, big things are not nice.
((("something" "is" "quiet" "+") ("something" "is" "big" "+")) -> ("something" "is" "nice" "-"))
Furry things are big.
((("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
If Fiona is not green then Fiona is furry.
((("Fiona" "is" "green" "~")) -> ("Fiona" "is" "furry" "+"))
Fiona is green.
True
1
proof
[(triple2)]
("Fiona" "is" "green" "+")
triple2
Fiona is not big.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "big" "-")
triple1
Fiona is not furry.
Unknown
inv-rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Fiona is big.[(triple1)] Fiona is green.[(triple2)] Gary is not big.[(triple3)]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Gary is not big.
("Gary" "is" "big" "-")
triple3