Anne is kind. Anne is red. Charlie is cold. Charlie is furry. Charlie is not green. Charlie is kind. Charlie is nice. Charlie is not quiet. Charlie is not red. Erin is cold. Erin is furry. Erin is kind. Erin is not nice. Gary is cold. Gary is kind. Gary is not red. All quiet, kind people are nice. If someone is kind and not quiet then they are not red. If someone is green then they are furry.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is not green.
("Charlie" "is" "green" "-")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Charlie is not red.
("Charlie" "is" "red" "-")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is not nice.
("Erin" "is" "nice" "-")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is not red.
("Gary" "is" "red" "-")
All quiet, kind people are nice.
((("someone" "is" "quiet" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and not quiet then they are not red.
((("someone" "is" "kind" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "red" "-"))
If someone is green then they are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
Gary is cold.
True
1
proof
[(triple14)]
("Gary" "is" "cold" "+")
triple14
Charlie is not furry.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "furry" "-")
triple4
Anne is not nice.
Unknown
inv-rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "nice" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Anne is kind.[(triple1)] Anne is red.[(triple2)] Charlie is cold.[(triple3)] Charlie is furry.[(triple4)] Charlie is kind.[(triple6)] Charlie is nice.[(triple7)] Charlie is not green.[(triple5)] Charlie is not quiet.[(triple8)] Charlie is not red.[(triple9 OR ((triple6 triple8) -> rule2))] Erin is cold.[(triple10)] Erin is furry.[(triple11)] Erin is kind.[(triple12)] Erin is not nice.[(triple13)] Gary is cold.[(triple14)] Gary is kind.[(triple15)] Gary is not red.[(triple16)]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is furry.
("Charlie" "is" "furry" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
Charlie is not green.
("Charlie" "is" "green" "-")
triple5
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple8
Charlie is not red.
("Charlie" "is" "red" "-")
triple9
((triple6 triple8) -> (rule2 % int1))
Charlie is not red.
("Charlie" "is" "red" "-")
int1
Erin is cold.
("Erin" "is" "cold" "+")
triple10
Erin is furry.
("Erin" "is" "furry" "+")
triple11
Erin is kind.
("Erin" "is" "kind" "+")
triple12
Erin is not nice.
("Erin" "is" "nice" "-")
triple13
Gary is cold.
("Gary" "is" "cold" "+")
triple14
Gary is kind.
("Gary" "is" "kind" "+")
triple15
Gary is not red.
("Gary" "is" "red" "-")
triple16