Anne is furry. Anne is young. Bob is furry. Bob is kind. Bob is quiet. Erin is blue. Erin is furry. Erin is kind. Erin is nice. Erin is young. Kind things are smart. All smart things are young. All young things are nice.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is young.
("Erin" "is" "young" "+")
Kind things are smart.
((("something" "is" "kind" "+")) -> ("something" "is" "smart" "+"))
All smart things are young.
((("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
All young things are nice.
((("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
Erin is blue.
True
1
proof
[(triple6)]
("Erin" "is" "blue" "+")
triple6
Erin is not blue.
False
1
inv-proof
[(triple6)]
("Erin" "is" "blue" "-")
triple6
Bob is smart.
True
2
proof
[(((triple4) -> rule1))]
("Bob" "is" "smart" "+")
((triple4) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Anne is not nice.
False
2
inv-proof
[(((triple2) -> rule3))]
("Anne" "is" "nice" "-")
((triple2) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Bob is young.
True
3
proof
[(((((triple4) -> rule1)) -> rule2))]
("Bob" "is" "young" "+")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is not young.
False
3
inv-proof
[(((((triple4) -> rule1)) -> rule2))]
("Bob" "is" "young" "-")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Anne is not smart.
Unknown
inv-rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "smart" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is furry.[(triple1)] Anne is young.[(triple2)] Bob is furry.[(triple3)] Bob is kind.[(triple4)] Bob is quiet.[(triple5)] Erin is blue.[(triple6)] Erin is furry.[(triple7)] Erin is kind.[(triple8)] Erin is nice.[(triple9 OR ((triple10) -> rule3) OR ((((((triple8) -> rule1)) -> rule2)) -> rule3))] Erin is young.[(triple10 OR ((((triple8) -> rule1)) -> rule2))] @1: Anne is nice.[(((triple2) -> rule3))] Bob is smart.[(((triple4) -> rule1))] Erin is smart.[(((triple8) -> rule1))] @2: Bob is young.[(((((triple4) -> rule1)) -> rule2))] @3: Bob is nice.[(((((((triple4) -> rule1)) -> rule2)) -> rule3))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
Erin is blue.
("Erin" "is" "blue" "+")
triple6
Erin is furry.
("Erin" "is" "furry" "+")
triple7
Erin is kind.
("Erin" "is" "kind" "+")
triple8
Erin is nice.
("Erin" "is" "nice" "+")
triple9
((triple10) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((((triple8) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
triple10
((((triple8) -> (rule1 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
((triple2) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
((triple4) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((triple8) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((((((triple4) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3