Fiona is big. Fiona is kind. Gary is big. If Fiona is furry then Fiona is white. If Fiona is furry and Fiona is big then Fiona is kind.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
If Fiona is furry then Fiona is white.
((("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "white" "+"))
If Fiona is furry and Fiona is big then Fiona is kind.
((("Fiona" "is" "furry" "+") ("Fiona" "is" "big" "+")) -> ("Fiona" "is" "kind" "+"))
Gary is big.
True
1
proof
[(triple3)]
("Gary" "is" "big" "+")
triple3
Gary is not big.
False
1
inv-proof
[(triple3)]
("Gary" "is" "big" "-")
triple3
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "white" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
@0: Fiona is big.[(triple1)] Fiona is kind.[(triple2)] Gary is big.[(triple3)]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple3