Dave is green. Erin is kind. Fiona is big. Gary is green. If someone is cold and round then they are furry. Big, green people are round. Nice, round people are furry.
Dave is green.
("Dave" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is cold and round then they are furry.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
Big, green people are round.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Nice, round people are furry.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
Erin is kind.
True
1
proof
[(triple2)]
("Erin" "is" "kind" "+")
triple2
Dave is not green.
False
1
inv-proof
[(triple1)]
("Dave" "is" "green" "-")
triple1
Erin is not round.
Unknown
inv-rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "round" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Dave is green.[(triple1)] Erin is kind.[(triple2)] Fiona is big.[(triple3)] Gary is green.[(triple4)]
Dave is green.
("Dave" "is" "green" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
Gary is green.
("Gary" "is" "green" "+")
triple4