Anne is big. Charlie is furry. Charlie is not kind. Charlie is nice. Dave is big. Dave is furry. Dave is kind. Dave is not white. Erin is big. Erin is kind. If something is furry and not big then it is green.
Anne is big.
("Anne" "is" "big" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is not kind.
("Charlie" "is" "kind" "-")
Charlie is nice.
("Charlie" "is" "nice" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is not white.
("Dave" "is" "white" "-")
Erin is big.
("Erin" "is" "big" "+")
Erin is kind.
("Erin" "is" "kind" "+")
If something is furry and not big then it is green.
((("something" "is" "furry" "+") ("something" "is" "big" "~")) -> ("something" "is" "green" "+"))
Dave is kind.
True
1
proof
[(triple7)]
("Dave" "is" "kind" "+")
triple7
Charlie is kind.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "kind" "+")
triple3
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "green" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is nice.[(triple4)] Charlie is not kind.[(triple3)] Dave is big.[(triple5)] Dave is furry.[(triple6)] Dave is kind.[(triple7)] Dave is not white.[(triple8)] Erin is big.[(triple9)] Erin is kind.[(triple10)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is furry.
("Dave" "is" "furry" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Dave is not white.
("Dave" "is" "white" "-")
triple8
Erin is big.
("Erin" "is" "big" "+")
triple9
Erin is kind.
("Erin" "is" "kind" "+")
triple10