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