Anne is big. Anne is furry. Anne is green. Anne is kind. Bob is not green. Bob is not kind. Charlie is quiet. Charlie is smart. Fiona is big. Fiona is not furry. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is smart. Fiona is not white. If something is green and not kind then it is smart. White, smart things are furry. If Anne is quiet and Anne is not smart then Anne is white.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Bob is not green.
("Bob" "is" "green" "-")
Bob is not kind.
("Bob" "is" "kind" "-")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
If something is green and not kind then it is smart.
((("something" "is" "green" "+") ("something" "is" "kind" "~")) -> ("something" "is" "smart" "+"))
White, smart things are furry.
((("something" "is" "white" "+") ("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
If Anne is quiet and Anne is not smart then Anne is white.
((("Anne" "is" "quiet" "+") ("Anne" "is" "smart" "~")) -> ("Anne" "is" "white" "+"))
Bob is not green.
True
1
proof
[(triple5)]
("Bob" "is" "green" "-")
triple5
Fiona is not kind.
False
1
inv-proof
[(triple12)]
("Fiona" "is" "kind" "-")
triple12
Anne is not smart.
Unknown
inv-rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "smart" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is kind.[(triple4)] Bob is not green.[(triple5)] Bob is not kind.[(triple6)] Charlie is quiet.[(triple7)] Charlie is smart.[(triple8)] Fiona is big.[(triple9)] Fiona is green.[(triple11)] Fiona is kind.[(triple12)] Fiona is not furry.[(triple10)] Fiona is not white.[(triple15)] Fiona is quiet.[(triple13)] Fiona is smart.[(triple14)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is kind.
("Anne" "is" "kind" "+")
triple4
Bob is not green.
("Bob" "is" "green" "-")
triple5
Bob is not kind.
("Bob" "is" "kind" "-")
triple6
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple7
Charlie is smart.
("Charlie" "is" "smart" "+")
triple8
Fiona is big.
("Fiona" "is" "big" "+")
triple9
Fiona is green.
("Fiona" "is" "green" "+")
triple11
Fiona is kind.
("Fiona" "is" "kind" "+")
triple12
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple10
Fiona is not white.
("Fiona" "is" "white" "-")
triple15
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple13
Fiona is smart.
("Fiona" "is" "smart" "+")
triple14