Bob is furry. Bob is green. Bob is kind. Bob is rough. Dave is green. Dave is rough. Erin is not rough. Gary is kind. Gary is round. Gary is white. Round, red people are not rough. All rough, white people are round. If someone is white then they are red.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Erin is not rough.
("Erin" "is" "rough" "-")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Round, red people are not rough.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "-"))
All rough, white people are round.
((("someone" "is" "rough" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
If someone is white then they are red.
((("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
Bob is green.
True
1
proof
[(triple2)]
("Bob" "is" "green" "+")
triple2
Gary is not kind.
False
1
inv-proof
[(triple8)]
("Gary" "is" "kind" "-")
triple8
Gary is red.
True
2
proof
[(((triple10) -> rule3))]
("Gary" "is" "red" "+")
((triple10) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not red.
False
2
inv-proof
[(((triple10) -> rule3))]
("Gary" "is" "red" "-")
((triple10) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not rough.
True
4
proof
[(((triple9 ((triple10) -> rule3)) -> rule1))]
("Gary" "is" "rough" "-")
((triple9 ((triple10) -> (rule3 % int2))) -> (rule1 % int1))
Gary is not rough.
("Gary" "is" "rough" "-")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
False
4
inv-proof
[(((triple9 ((triple10) -> rule3)) -> rule1))]
("Gary" "is" "rough" "+")
((triple9 ((triple10) -> (rule3 % int2))) -> (rule1 % int1))
Gary is not rough.
("Gary" "is" "rough" "-")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Erin is not round.
Unknown
inv-rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "round" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "round" "+")
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "round" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
Dave is not white.
Unknown
inv-random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is rough.[(triple4)] Dave is green.[(triple5)] Dave is rough.[(triple6)] Erin is not rough.[(triple7)] Gary is kind.[(triple8)] Gary is round.[(triple9)] Gary is white.[(triple10)] @1: Gary is red.[(((triple10) -> rule3))] @2: Gary is not rough.[(((triple9 ((triple10) -> rule3)) -> rule1))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Erin is not rough.
("Erin" "is" "rough" "-")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple9
Gary is white.
("Gary" "is" "white" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
((triple10) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not rough.
("Gary" "is" "rough" "-")
((triple9 ((triple10) -> (rule3 % int2))) -> (rule1 % int1))
Gary is not rough.
("Gary" "is" "rough" "-")
int1
Gary is red.
("Gary" "is" "red" "+")
int2