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