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