Anne is furry. Erin is white. Fiona is furry. Gary is round. If someone is rough then they are green. Quiet people are furry. Furry people are white. All white people are rough. If someone is round then they are quiet. All green, nice people are round. If Anne is nice then Anne is round. All quiet people are nice.
Anne is furry.
("Anne" "is" "furry" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Gary is round.
("Gary" "is" "round" "+")
If someone is rough then they are green.
((("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
Quiet people are furry.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
Furry people are white.
((("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
All white people are rough.
((("someone" "is" "white" "+")) -> ("someone" "is" "rough" "+"))
If someone is round then they are quiet.
((("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
All green, nice people are round.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If Anne is nice then Anne is round.
((("Anne" "is" "nice" "+")) -> ("Anne" "is" "round" "+"))
All quiet people are nice.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "nice" "+"))
Erin is white.
True
1
proof
[(triple2)]
("Erin" "is" "white" "+")
triple2
Gary is not round.
False
1
inv-proof
[(triple4)]
("Gary" "is" "round" "-")
triple4
Gary is quiet.
True
2
proof
[(((triple4) -> rule5))]
("Gary" "is" "quiet" "+")
((triple4) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Erin is not rough.
False
2
inv-proof
[(((triple2) -> rule4))]
("Erin" "is" "rough" "-")
((triple2) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Gary is furry.
True
3
proof
[(((((triple4) -> rule5)) -> rule2))]
("Gary" "is" "furry" "+")
((((triple4) -> (rule5 % int2))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is not nice.
False
3
inv-proof
[(((((triple4) -> rule5)) -> rule8))]
("Gary" "is" "nice" "-")
((((triple4) -> (rule5 % int2))) -> (rule8 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Fiona is not quiet.
Unknown
inv-rconc
[@3: Fiona is quiet.[CWA. Example of deepest failure = (rule5 <- rule6 <- rule8 <- FAIL)]]
("Fiona" "is" "quiet" "-")
Anne is nice.
Unknown
rconc
[@3: Anne is nice.[CWA. Example of deepest failure = (rule8 <- rule5 <- rule6 <- FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is furry.[(triple1)] Erin is white.[(triple2)] Fiona is furry.[(triple3)] Gary is round.[(triple4)] @1: Anne is white.[(((triple1) -> rule3))] Erin is rough.[(((triple2) -> rule4))] Fiona is white.[(((triple3) -> rule3))] Gary is quiet.[(((triple4) -> rule5))] @2: Anne is rough.[(((((triple1) -> rule3)) -> rule4))] Erin is green.[(((((triple2) -> rule4)) -> rule1))] Fiona is rough.[(((((triple3) -> rule3)) -> rule4))] Gary is furry.[(((((triple4) -> rule5)) -> rule2))] Gary is nice.[(((((triple4) -> rule5)) -> rule8))] @3: Anne is green.[(((((((triple1) -> rule3)) -> rule4)) -> rule1))] Fiona is green.[(((((((triple3) -> rule3)) -> rule4)) -> rule1))] Gary is white.[(((((((triple4) -> rule5)) -> rule2)) -> rule3))] @4: Gary is rough.[(((((((((triple4) -> rule5)) -> rule2)) -> rule3)) -> rule4))] @5: Gary is green.[(((((((((((triple4) -> rule5)) -> rule2)) -> rule3)) -> rule4)) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Erin is white.
("Erin" "is" "white" "+")
triple2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple3
Gary is round.
("Gary" "is" "round" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
((triple1) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((triple2) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple3) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple4) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((((triple1) -> (rule3 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
((((triple2) -> (rule4 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
((((triple3) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
((((triple4) -> (rule5 % int2))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((((triple4) -> (rule5 % int2))) -> (rule8 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
((((((triple1) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
((((((triple3) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
((((((triple4) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
((((((((triple4) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
((((((((((triple4) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5