Anne is big. Anne is cold. Anne is kind. Anne is rough. Anne is smart. Erin is big. Erin is not cold. Erin is not rough. Erin is round. Erin is not white. If something is round and kind then it is not cold. If something is kind and not cold then it is smart. Smart, white things are big.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is not cold.
("Erin" "is" "cold" "-")
Erin is not rough.
("Erin" "is" "rough" "-")
Erin is round.
("Erin" "is" "round" "+")
Erin is not white.
("Erin" "is" "white" "-")
If something is round and kind then it is not cold.
((("something" "is" "round" "+") ("something" "is" "kind" "+")) -> ("something" "is" "cold" "-"))
If something is kind and not cold then it is smart.
((("something" "is" "kind" "+") ("something" "is" "cold" "~")) -> ("something" "is" "smart" "+"))
Smart, white things are big.
((("something" "is" "smart" "+") ("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
Erin is big.
True
1
proof
[(triple6)]
("Erin" "is" "big" "+")
triple6
Erin is white.
False
1
inv-proof
[(triple10)]
("Erin" "is" "white" "+")
triple10
Erin is not smart.
Unknown
inv-rconc
[@1: Erin is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "smart" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is kind.[(triple3)] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Erin is big.[(triple6)] Erin is not cold.[(triple7)] Erin is not rough.[(triple8)] Erin is not white.[(triple10)] Erin is round.[(triple9)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Erin is big.
("Erin" "is" "big" "+")
triple6
Erin is not cold.
("Erin" "is" "cold" "-")
triple7
Erin is not rough.
("Erin" "is" "rough" "-")
triple8
Erin is not white.
("Erin" "is" "white" "-")
triple10
Erin is round.
("Erin" "is" "round" "+")
triple9