Fiona is white. Gary is green. Gary is kind. White, green things are not kind. All furry, kind things are blue. White things are furry.
Fiona is white.
("Fiona" "is" "white" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
White, green things are not kind.
((("something" "is" "white" "+") ("something" "is" "green" "+")) -> ("something" "is" "kind" "-"))
All furry, kind things are blue.
((("something" "is" "furry" "+") ("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
White things are furry.
((("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
Gary is kind.
True
1
proof
[(triple3)]
("Gary" "is" "kind" "+")
triple3
Gary is not kind.
False
1
inv-proof
[(triple3)]
("Gary" "is" "kind" "-")
triple3
Fiona is furry.
True
2
proof
[(((triple1) -> rule3))]
("Fiona" "is" "furry" "+")
((triple1) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple1) -> rule3))]
("Fiona" "is" "furry" "-")
((triple1) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not blue.
Unknown
inv-rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "blue" "-")
Gary is furry.
Unknown
rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "furry" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
@0: Fiona is white.[(triple1)] Gary is green.[(triple2)] Gary is kind.[(triple3)] @1: Fiona is furry.[(((triple1) -> rule3))]
Fiona is white.
("Fiona" "is" "white" "+")
triple1
Gary is green.
("Gary" "is" "green" "+")
triple2
Gary is kind.
("Gary" "is" "kind" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple1) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1