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