Dave is red. Fiona is kind. Gary is red. All white, green things are kind. If Dave is green then Dave is big. Big, green things are round. All big, blue things are red. Big things are kind. Blue things are green. If Gary is round then Gary is green. If something is big then it is kind.
Dave is red.
("Dave" "is" "red" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
All white, green things are kind.
((("something" "is" "white" "+") ("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
If Dave is green then Dave is big.
((("Dave" "is" "green" "+")) -> ("Dave" "is" "big" "+"))
Big, green things are round.
((("something" "is" "big" "+") ("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
All big, blue things are red.
((("something" "is" "big" "+") ("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
Big things are kind.
((("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
Blue things are green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
If Gary is round then Gary is green.
((("Gary" "is" "round" "+")) -> ("Gary" "is" "green" "+"))
If something is big then it is kind.
((("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
Fiona is kind.
True
1
proof
[(triple2)]
("Fiona" "is" "kind" "+")
triple2
Dave is not red.
False
1
inv-proof
[(triple1)]
("Dave" "is" "red" "-")
triple1
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Dave is red.[(triple1)] Fiona is kind.[(triple2)] Gary is red.[(triple3)]
Dave is red.
("Dave" "is" "red" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Gary is red.
("Gary" "is" "red" "+")
triple3