Anne is not kind. Bob is round. Erin is quiet. Fiona is round. Rough, round people are not white. If someone is round and not quiet then they are white. Round, quiet people are white. All round, smart people are green. White, kind people are green. All round people are rough. If Erin is smart then Erin is not white. If someone is kind then they are round.
Anne is not kind.
("Anne" "is" "kind" "-")
Bob is round.
("Bob" "is" "round" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Rough, round people are not white.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "white" "-"))
If someone is round and not quiet then they are white.
((("someone" "is" "round" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "white" "+"))
Round, quiet people are white.
((("someone" "is" "round" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
All round, smart people are green.
((("someone" "is" "round" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
White, kind people are green.
((("someone" "is" "white" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
All round people are rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If Erin is smart then Erin is not white.
((("Erin" "is" "smart" "+")) -> ("Erin" "is" "white" "-"))
If someone is kind then they are round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
Anne is not kind.
True
1
proof
[(triple1)]
("Anne" "is" "kind" "-")
triple1
Bob is not round.
False
1
inv-proof
[(triple2)]
("Bob" "is" "round" "-")
triple2
Bob is rough.
True
2
proof
[(((triple2) -> rule6))]
("Bob" "is" "rough" "+")
((triple2) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Fiona is not rough.
False
2
inv-proof
[(((triple4) -> rule6))]
("Fiona" "is" "rough" "-")
((triple4) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not white.
True
4
proof
[(((((triple4) -> rule6) triple4) -> rule1))]
("Fiona" "is" "white" "-")
((((triple4) -> (rule6 % int2)) triple4) -> (rule1 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Bob is white.
False
4
inv-proof
[(((((triple2) -> rule6) triple2) -> rule1))]
("Bob" "is" "white" "+")
((((triple2) -> (rule6 % int2)) triple2) -> (rule1 % int1))
Bob is not white.
("Bob" "is" "white" "-")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Anne is not rough.
Unknown
inv-rconc
[@2: Anne is rough.[CWA. Example of deepest failure = (rule6 <- rule8 <- FAIL)]]
("Anne" "is" "rough" "-")
Fiona is green.
Unknown
rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "green" "+")
Anne is not round.
Unknown
inv-rconc
[@1: Anne is round.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Anne" "is" "round" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Bob is smart.
Unknown
random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "+")
@0: Anne is not kind.[(triple1)] Bob is round.[(triple2)] Erin is quiet.[(triple3)] Fiona is round.[(triple4)] @1: Bob is rough.[(((triple2) -> rule6))] Fiona is rough.[(((triple4) -> rule6))] @2: Bob is not white.[(((((triple2) -> rule6) triple2) -> rule1))] Fiona is not white.[(((((triple4) -> rule6) triple4) -> rule1))]
Anne is not kind.
("Anne" "is" "kind" "-")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Fiona is round.
("Fiona" "is" "round" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
((triple2) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple4) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Bob is not white.
("Bob" "is" "white" "-")
((((triple2) -> (rule6 % int2)) triple2) -> (rule1 % int1))
Bob is not white.
("Bob" "is" "white" "-")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Fiona is not white.
("Fiona" "is" "white" "-")
((((triple4) -> (rule6 % int2)) triple4) -> (rule1 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2