Anne is furry. Anne is quiet. Anne is rough. Anne is not round. Anne is white. Bob is furry. Bob is quiet. Bob is not rough. Bob is not white. Charlie is kind. Charlie is rough. Erin is not kind. Erin is round. Erin is white. Erin is young. If Charlie is round and Charlie is furry then Charlie is young. Quiet, round things are furry. If Erin is young then Erin is white. If Charlie is not quiet then Charlie is kind. If something is kind then it is rough. If something is quiet and not young then it is rough. If something is rough and not young then it is kind. If something is furry and not round then it is kind.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is not round.
("Anne" "is" "round" "-")
Anne is white.
("Anne" "is" "white" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is not rough.
("Bob" "is" "rough" "-")
Bob is not white.
("Bob" "is" "white" "-")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
If Charlie is round and Charlie is furry then Charlie is young.
((("Charlie" "is" "round" "+") ("Charlie" "is" "furry" "+")) -> ("Charlie" "is" "young" "+"))
Quiet, round things are furry.
((("something" "is" "quiet" "+") ("something" "is" "round" "+")) -> ("something" "is" "furry" "+"))
If Erin is young then Erin is white.
((("Erin" "is" "young" "+")) -> ("Erin" "is" "white" "+"))
If Charlie is not quiet then Charlie is kind.
((("Charlie" "is" "quiet" "~")) -> ("Charlie" "is" "kind" "+"))
If something is kind then it is rough.
((("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
If something is quiet and not young then it is rough.
((("something" "is" "quiet" "+") ("something" "is" "young" "~")) -> ("something" "is" "rough" "+"))
If something is rough and not young then it is kind.
((("something" "is" "rough" "+") ("something" "is" "young" "~")) -> ("something" "is" "kind" "+"))
If something is furry and not round then it is kind.
((("something" "is" "furry" "+") ("something" "is" "round" "~")) -> ("something" "is" "kind" "+"))
Anne is rough.
True
1
proof
[(triple3 OR ((((triple1 triple4) -> rule8)) -> rule5))]
("Anne" "is" "rough" "+")
triple3
((((triple1 triple4) -> (rule8 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Bob is rough.
False
1
inv-proof
[(triple8)]
("Bob" "is" "rough" "+")
triple8
Anne is kind.
True
3
proof
[(((triple1 triple4) -> rule8))]
("Anne" "is" "kind" "+")
((triple1 triple4) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is not kind.
False
3
inv-proof
[(((triple1 triple4) -> rule8))]
("Anne" "is" "kind" "-")
((triple1 triple4) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "furry" "-")
Bob is kind.
Unknown
rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "kind" "+")
Charlie is not white.
Unknown
inv-random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Anne is furry.[(triple1)] Anne is not round.[(triple4)] Anne is quiet.[(triple2)] Anne is rough.[(triple3 OR ((((triple1 triple4) -> rule8)) -> rule5))] Anne is white.[(triple5)] Bob is furry.[(triple6)] Bob is not rough.[(triple8)] Bob is not white.[(triple9)] Bob is quiet.[(triple7)] Charlie is kind.[(triple10)] Charlie is rough.[(triple11 OR ((triple10) -> rule5))] Erin is not kind.[(triple12)] Erin is round.[(triple13)] Erin is white.[(triple14 OR ((triple15) -> rule3))] Erin is young.[(triple15)] @1: Anne is kind.[(((triple1 triple4) -> rule8))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is not round.
("Anne" "is" "round" "-")
triple4
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
((((triple1 triple4) -> (rule8 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
triple5
Bob is furry.
("Bob" "is" "furry" "+")
triple6
Bob is not rough.
("Bob" "is" "rough" "-")
triple8
Bob is not white.
("Bob" "is" "white" "-")
triple9
Bob is quiet.
("Bob" "is" "quiet" "+")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
triple10
Charlie is rough.
("Charlie" "is" "rough" "+")
triple11
((triple10) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Erin is not kind.
("Erin" "is" "kind" "-")
triple12
Erin is round.
("Erin" "is" "round" "+")
triple13
Erin is white.
("Erin" "is" "white" "+")
triple14
((triple15) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
triple15
Anne is kind.
("Anne" "is" "kind" "+")
((triple1 triple4) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1