Anne is cold. Anne is nice. Anne is red. Anne is young. Bob is cold. Bob is kind. Bob is nice. Bob is white. Bob is young. Erin is cold. Erin is kind. Gary is round. If Anne is round and Anne is cold then Anne is kind.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Gary is round.
("Gary" "is" "round" "+")
If Anne is round and Anne is cold then Anne is kind.
((("Anne" "is" "round" "+") ("Anne" "is" "cold" "+")) -> ("Anne" "is" "kind" "+"))
Bob is cold.
True
1
proof
[(triple5)]
("Bob" "is" "cold" "+")
triple5
Anne is not red.
False
1
inv-proof
[(triple3)]
("Anne" "is" "red" "-")
triple3
Anne is not kind.
Unknown
inv-rconc
[@1: Anne is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "kind" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is red.[(triple3)] Anne is young.[(triple4)] Bob is cold.[(triple5)] Bob is kind.[(triple6)] Bob is nice.[(triple7)] Bob is white.[(triple8)] Bob is young.[(triple9)] Erin is cold.[(triple10)] Erin is kind.[(triple11)] Gary is round.[(triple12)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple6
Bob is nice.
("Bob" "is" "nice" "+")
triple7
Bob is white.
("Bob" "is" "white" "+")
triple8
Bob is young.
("Bob" "is" "young" "+")
triple9
Erin is cold.
("Erin" "is" "cold" "+")
triple10
Erin is kind.
("Erin" "is" "kind" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple12