Anne is smart. Dave is red. Erin is furry. Fiona is green. If Anne is round then Anne is not red. If someone is green then they are not smart. All round, white people are furry. If someone is green then they are round. If someone is round then they are white. If someone is smart and not furry then they are nice.
Anne is smart.
("Anne" "is" "smart" "+")
Dave is red.
("Dave" "is" "red" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
If Anne is round then Anne is not red.
((("Anne" "is" "round" "+")) -> ("Anne" "is" "red" "-"))
If someone is green then they are not smart.
((("someone" "is" "green" "+")) -> ("someone" "is" "smart" "-"))
All round, white people are furry.
((("someone" "is" "round" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
If someone is green then they are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is round then they are white.
((("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
If someone is smart and not furry then they are nice.
((("someone" "is" "smart" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "nice" "+"))
Erin is furry.
True
1
proof
[(triple3)]
("Erin" "is" "furry" "+")
triple3
Anne is not smart.
False
1
inv-proof
[(triple1)]
("Anne" "is" "smart" "-")
triple1
Fiona is not smart.
True
2
proof
[(((triple4) -> rule2))]
("Fiona" "is" "smart" "-")
((triple4) -> (rule2 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Fiona is not round.
False
2
inv-proof
[(((triple4) -> rule4))]
("Fiona" "is" "round" "-")
((triple4) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is white.
True
3
proof
[(((((triple4) -> rule4)) -> rule5))]
("Fiona" "is" "white" "+")
((((triple4) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is not white.
False
3
inv-proof
[(((((triple4) -> rule4)) -> rule5))]
("Fiona" "is" "white" "-")
((((triple4) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is furry.
True
6
proof
[(((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule5)) -> rule3))]
("Fiona" "is" "furry" "+")
((((triple4) -> (rule4 % int3)) ((((triple4) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is not furry.
False
6
inv-proof
[(((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule5)) -> rule3))]
("Fiona" "is" "furry" "-")
((((triple4) -> (rule4 % int3)) ((((triple4) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is not nice.
Unknown
inv-rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "nice" "-")
Erin is round.
Unknown
rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "round" "+")
Dave is not white.
Unknown
inv-rconc
[@2: Dave is white.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Dave" "is" "white" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "round" "+")
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
Anne is not red.
Unknown
inv-random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Anne is smart.[(triple1)] Dave is red.[(triple2)] Erin is furry.[(triple3)] Fiona is green.[(triple4)] @1: Fiona is not smart.[(((triple4) -> rule2))] Fiona is round.[(((triple4) -> rule4))] @2: Fiona is white.[(((((triple4) -> rule4)) -> rule5))] @3: Fiona is furry.[(((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule5)) -> rule3))]
Anne is smart.
("Anne" "is" "smart" "+")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
triple4
Fiona is not smart.
("Fiona" "is" "smart" "-")
((triple4) -> (rule2 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple4) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((((triple4) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple4) -> (rule4 % int3)) ((((triple4) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3