Anne is nice. Anne is young. Charlie is not big. Charlie is green. Erin is cold. Erin is green. Gary is not round. If something is furry and big then it is not green. If something is green and not cold then it is young. Furry things are big.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is not big.
("Charlie" "is" "big" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Gary is not round.
("Gary" "is" "round" "-")
If something is furry and big then it is not green.
((("something" "is" "furry" "+") ("something" "is" "big" "+")) -> ("something" "is" "green" "-"))
If something is green and not cold then it is young.
((("something" "is" "green" "+") ("something" "is" "cold" "~")) -> ("something" "is" "young" "+"))
Furry things are big.
((("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
Charlie is green.
True
1
proof
[(triple4)]
("Charlie" "is" "green" "+")
triple4
Anne is not nice.
False
1
inv-proof
[(triple1)]
("Anne" "is" "nice" "-")
triple1
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "young" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Anne is nice.[(triple1)] Anne is young.[(triple2)] Charlie is green.[(triple4)] Charlie is not big.[(triple3)] Erin is cold.[(triple5)] Erin is green.[(triple6)] Gary is not round.[(triple7)]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is not big.
("Charlie" "is" "big" "-")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Erin is green.
("Erin" "is" "green" "+")
triple6
Gary is not round.
("Gary" "is" "round" "-")
triple7