Anne is furry. Anne is nice. Anne is smart. Bob is red. Erin is furry. Erin is green. Erin is young. If Bob is red then Bob is smart. All smart people are nice. If Bob is nice and Bob is smart then Bob is green.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is red.
("Bob" "is" "red" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is young.
("Erin" "is" "young" "+")
If Bob is red then Bob is smart.
((("Bob" "is" "red" "+")) -> ("Bob" "is" "smart" "+"))
All smart people are nice.
((("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
If Bob is nice and Bob is smart then Bob is green.
((("Bob" "is" "nice" "+") ("Bob" "is" "smart" "+")) -> ("Bob" "is" "green" "+"))
Bob is red.
True
1
proof
[(triple4)]
("Bob" "is" "red" "+")
triple4
Anne is not furry.
False
1
inv-proof
[(triple1)]
("Anne" "is" "furry" "-")
triple1
Bob is smart.
True
2
proof
[(((triple4) -> rule1))]
("Bob" "is" "smart" "+")
((triple4) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is not smart.
False
2
inv-proof
[(((triple4) -> rule1))]
("Bob" "is" "smart" "-")
((triple4) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
True
3
proof
[(((((triple4) -> rule1)) -> rule2))]
("Bob" "is" "nice" "+")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is not nice.
False
3
inv-proof
[(((((triple4) -> rule1)) -> rule2))]
("Bob" "is" "nice" "-")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is green.
True
6
proof
[(((((((triple4) -> rule1)) -> rule2) ((triple4) -> rule1)) -> rule3))]
("Bob" "is" "green" "+")
((((((triple4) -> (rule1 % int3))) -> (rule2 % int2)) ((triple4) -> (rule1 % int3))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is not green.
False
6
inv-proof
[(((((((triple4) -> rule1)) -> rule2) ((triple4) -> rule1)) -> rule3))]
("Bob" "is" "green" "-")
((((((triple4) -> (rule1 % int3))) -> (rule2 % int2)) ((triple4) -> (rule1 % int3))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Erin is not nice.
Unknown
inv-rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "nice" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Anne is not young.
Unknown
inv-random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
Erin is not smart.
Unknown
inv-random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2 OR ((triple3) -> rule2))] Anne is smart.[(triple3)] Bob is red.[(triple4)] Erin is furry.[(triple5)] Erin is green.[(triple6)] Erin is young.[(triple7)] @1: Bob is smart.[(((triple4) -> rule1))] @2: Bob is nice.[(((((triple4) -> rule1)) -> rule2))] @3: Bob is green.[(((((((triple4) -> rule1)) -> rule2) ((triple4) -> rule1)) -> rule3))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
((triple3) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple4
Erin is furry.
("Erin" "is" "furry" "+")
triple5
Erin is green.
("Erin" "is" "green" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
Bob is smart.
("Bob" "is" "smart" "+")
((triple4) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((((((triple4) -> (rule1 % int3))) -> (rule2 % int2)) ((triple4) -> (rule1 % int3))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3