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