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