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