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