Bob is kind. Bob is red. Bob is rough. Bob is white. Erin is red. Fiona is red. Gary is furry. If someone is round then they are white. Rough, white people are round. All red, round people are rough. All furry people are round. If someone is rough then they are red. Kind people are rough.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is furry.
("Gary" "is" "furry" "+")
If someone is round then they are white.
((("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
Rough, white people are round.
((("someone" "is" "rough" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
All red, round people are rough.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
All furry people are round.
((("someone" "is" "furry" "+")) -> ("someone" "is" "round" "+"))
If someone is rough then they are red.
((("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
Kind people are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Bob is white.
True
1
proof
[(triple4)]
("Bob" "is" "white" "+")
triple4
Gary is not furry.
False
1
inv-proof
[(triple7)]
("Gary" "is" "furry" "-")
triple7
Gary is round.
True
2
proof
[(((triple7) -> rule4))]
("Gary" "is" "round" "+")
((triple7) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Bob is not round.
False
3
inv-proof
[(((triple3 triple4) -> rule2) OR ((((triple1) -> rule6) triple4) -> rule2))]
("Bob" "is" "round" "-")
((triple3 triple4) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((((triple1) -> (rule6 % int2)) triple4) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Gary is white.
True
3
proof
[(((((triple7) -> rule4)) -> rule1))]
("Gary" "is" "white" "+")
((((triple7) -> (rule4 % int2))) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is not white.
False
3
inv-proof
[(((((triple7) -> rule4)) -> rule1))]
("Gary" "is" "white" "-")
((((triple7) -> (rule4 % int2))) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Erin is not rough.
Unknown
inv-rconc
[@3: Erin is rough.[CWA. Example of deepest failure = (rule3 <- rule2 <- rule6 <- FAIL)]]
("Erin" "is" "rough" "-")
Gary is rough.
Unknown
rconc
[@3: Gary is rough.[CWA. Example of deepest failure = (rule3 <- rule5 <- rule6 <- FAIL)]]
("Gary" "is" "rough" "+")
Erin is not white.
Unknown
inv-rconc
[@2: Erin is white.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Erin" "is" "white" "-")
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" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Bob is kind.[(triple1)] Bob is red.[(triple2 OR ((triple3) -> rule5) OR ((((triple1) -> rule6)) -> rule5))] Bob is rough.[(triple3 OR ((triple1) -> rule6))] Bob is white.[(triple4)] Erin is red.[(triple5)] Fiona is red.[(triple6)] Gary is furry.[(triple7)] @1: Bob is round.[(((triple3 triple4) -> rule2) OR ((((triple1) -> rule6) triple4) -> rule2))] Gary is round.[(((triple7) -> rule4))] @2: Gary is white.[(((((triple7) -> rule4)) -> rule1))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
((triple3) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
((triple1) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Bob is round.
("Bob" "is" "round" "+")
((triple3 triple4) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((((triple1) -> (rule6 % int2)) triple4) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((triple7) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((((triple7) -> (rule4 % int2))) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2