Bob is cold. Bob is green. Bob is nice. Bob is round. Bob is young. Erin is red. Erin is round. Red, green people are furry. Red people are green.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Red, green people are furry.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
Red people are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
Bob is round.
True
1
proof
[(triple4)]
("Bob" "is" "round" "+")
triple4
Bob is not cold.
False
1
inv-proof
[(triple1)]
("Bob" "is" "cold" "-")
triple1
Erin is green.
True
2
proof
[(((triple6) -> rule2))]
("Erin" "is" "green" "+")
((triple6) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not green.
False
2
inv-proof
[(((triple6) -> rule2))]
("Erin" "is" "green" "-")
((triple6) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is furry.
True
4
proof
[(((triple6 ((triple6) -> rule2)) -> rule1))]
("Erin" "is" "furry" "+")
((triple6 ((triple6) -> (rule2 % int2))) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is not furry.
False
4
inv-proof
[(((triple6 ((triple6) -> rule2)) -> rule1))]
("Erin" "is" "furry" "-")
((triple6 ((triple6) -> (rule2 % int2))) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Bob is not furry.
Unknown
inv-rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "furry" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Erin is not cold.
Unknown
inv-random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Bob is nice.[(triple3)] Bob is round.[(triple4)] Bob is young.[(triple5)] Erin is red.[(triple6)] Erin is round.[(triple7)] @1: Erin is green.[(((triple6) -> rule2))] @2: Erin is furry.[(((triple6 ((triple6) -> rule2)) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple5
Erin is red.
("Erin" "is" "red" "+")
triple6
Erin is round.
("Erin" "is" "round" "+")
triple7
Erin is green.
("Erin" "is" "green" "+")
((triple6) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple6 ((triple6) -> (rule2 % int2))) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2