Bob is cold. Bob is quiet. Bob is white. Dave is not big. Dave is round. Dave is white. Erin is round. Gary is not cold. Gary is furry. Gary is kind. Gary is round. Gary is white. All kind things are furry. White, round things are kind.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is white.
("Bob" "is" "white" "+")
Dave is not big.
("Dave" "is" "big" "-")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is round.
("Erin" "is" "round" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
All kind things are furry.
((("something" "is" "kind" "+")) -> ("something" "is" "furry" "+"))
White, round things are kind.
((("something" "is" "white" "+") ("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
Bob is cold.
True
1
proof
[(triple1)]
("Bob" "is" "cold" "+")
triple1
Gary is not round.
False
1
inv-proof
[(triple11)]
("Gary" "is" "round" "-")
triple11
Dave is kind.
True
3
proof
[(((triple6 triple5) -> rule2))]
("Dave" "is" "kind" "+")
((triple6 triple5) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is not kind.
False
3
inv-proof
[(((triple6 triple5) -> rule2))]
("Dave" "is" "kind" "-")
((triple6 triple5) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is furry.
True
4
proof
[(((((triple6 triple5) -> rule2)) -> rule1))]
("Dave" "is" "furry" "+")
((((triple6 triple5) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is not furry.
False
4
inv-proof
[(((((triple6 triple5) -> rule2)) -> rule1))]
("Dave" "is" "furry" "-")
((((triple6 triple5) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Bob is not furry.
Unknown
inv-rconc
[@2: Bob is furry.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Bob" "is" "furry" "-")
Bob is kind.
Unknown
rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "kind" "+")
Erin is not furry.
Unknown
inv-rconc
[@2: Erin is furry.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Erin" "is" "furry" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Erin is not cold.
Unknown
inv-random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Bob is cold.[(triple1)] Bob is quiet.[(triple2)] Bob is white.[(triple3)] Dave is not big.[(triple4)] Dave is round.[(triple5)] Dave is white.[(triple6)] Erin is round.[(triple7)] Gary is furry.[(triple9 OR ((triple10) -> rule1) OR ((((triple12 triple11) -> rule2)) -> rule1))] Gary is kind.[(triple10 OR ((triple12 triple11) -> rule2))] Gary is not cold.[(triple8)] Gary is round.[(triple11)] Gary is white.[(triple12)] @1: Dave is kind.[(((triple6 triple5) -> rule2))] @2: Dave is furry.[(((((triple6 triple5) -> rule2)) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Bob is white.
("Bob" "is" "white" "+")
triple3
Dave is not big.
("Dave" "is" "big" "-")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple6
Erin is round.
("Erin" "is" "round" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple9
((triple10) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((((triple12 triple11) -> (rule2 % int2))) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
triple10
((triple12 triple11) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not cold.
("Gary" "is" "cold" "-")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple11
Gary is white.
("Gary" "is" "white" "+")
triple12
Dave is kind.
("Dave" "is" "kind" "+")
((triple6 triple5) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
((((triple6 triple5) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2