Erin is green. Fiona is rough. Fiona is smart. If something is smart and green then it is round. All green things are round. If something is white and not furry then it is kind. If Fiona is smart then Fiona is green. All kind, rough things are not smart. If something is furry then it is not smart. If something is furry and not rough then it is white. Green, round things are not white.
Erin is green.
("Erin" "is" "green" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If something is smart and green then it is round.
((("something" "is" "smart" "+") ("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
All green things are round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
If something is white and not furry then it is kind.
((("something" "is" "white" "+") ("something" "is" "furry" "~")) -> ("something" "is" "kind" "+"))
If Fiona is smart then Fiona is green.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "green" "+"))
All kind, rough things are not smart.
((("something" "is" "kind" "+") ("something" "is" "rough" "+")) -> ("something" "is" "smart" "-"))
If something is furry then it is not smart.
((("something" "is" "furry" "+")) -> ("something" "is" "smart" "-"))
If something is furry and not rough then it is white.
((("something" "is" "furry" "+") ("something" "is" "rough" "~")) -> ("something" "is" "white" "+"))
Green, round things are not white.
((("something" "is" "green" "+") ("something" "is" "round" "+")) -> ("something" "is" "white" "-"))
Fiona is smart.
True
1
proof
[(triple3)]
("Fiona" "is" "smart" "+")
triple3
Fiona is not rough.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "rough" "-")
triple2
Fiona is green.
True
2
proof
[(((triple3) -> rule4))]
("Fiona" "is" "green" "+")
((triple3) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Erin is not round.
False
2
inv-proof
[(((triple1) -> rule2))]
("Erin" "is" "round" "-")
((triple1) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not white.
True
4
proof
[(((triple1 ((triple1) -> rule2)) -> rule8))]
("Erin" "is" "white" "-")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule8 % int1))
Erin is not white.
("Erin" "is" "white" "-")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Fiona is not round.
False
3
inv-proof
[(((((triple3) -> rule4)) -> rule2) OR ((triple3 ((triple3) -> rule4)) -> rule1))]
("Fiona" "is" "round" "-")
((((triple3) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((triple3 ((triple3) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is not white.
True
6
proof
[(((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule2)) -> rule8) OR ((((triple3) -> rule4) ((triple3 ((triple3) -> rule4)) -> rule1)) -> rule8))]
("Fiona" "is" "white" "-")
((((triple3) -> (rule4 % int3)) ((((triple3) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((triple3) -> (rule4 % int3)) ((triple3 ((triple3) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is white.
False
6
inv-proof
[(((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule2)) -> rule8) OR ((((triple3) -> rule4) ((triple3 ((triple3) -> rule4)) -> rule1)) -> rule8))]
("Fiona" "is" "white" "+")
((((triple3) -> (rule4 % int3)) ((((triple3) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((triple3) -> (rule4 % int3)) ((triple3 ((triple3) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "kind" "-")
Erin is kind.
Unknown
rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "kind" "+")
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
Erin is not smart.
Unknown
inv-random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Erin is green.[(triple1)] Fiona is rough.[(triple2)] Fiona is smart.[(triple3)] @1: Erin is round.[(((triple1) -> rule2))] Fiona is green.[(((triple3) -> rule4))] @2: Erin is not white.[(((triple1 ((triple1) -> rule2)) -> rule8))] Fiona is round.[(((((triple3) -> rule4)) -> rule2) OR ((triple3 ((triple3) -> rule4)) -> rule1))] @3: Fiona is not white.[(((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule2)) -> rule8) OR ((((triple3) -> rule4) ((triple3 ((triple3) -> rule4)) -> rule1)) -> rule8))]
Erin is green.
("Erin" "is" "green" "+")
triple1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple3
Erin is round.
("Erin" "is" "round" "+")
((triple1) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple3) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Erin is not white.
("Erin" "is" "white" "-")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule8 % int1))
Erin is not white.
("Erin" "is" "white" "-")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((((triple3) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((triple3 ((triple3) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is not white.
("Fiona" "is" "white" "-")
((((triple3) -> (rule4 % int3)) ((((triple3) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((triple3) -> (rule4 % int3)) ((triple3 ((triple3) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3