Anne is furry. Dave is quiet. Erin is furry. Fiona is rough. If someone is smart and nice then they are white. White, smart people are young. Rough, white people are nice. If someone is young then they are rough. All nice, rough people are white. If someone is white then they are nice. If Fiona is rough then Fiona is young. All young people are nice.
Anne is furry.
("Anne" "is" "furry" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
If someone is smart and nice then they are white.
((("someone" "is" "smart" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
White, smart people are young.
((("someone" "is" "white" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
Rough, white people are nice.
((("someone" "is" "rough" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
All nice, rough people are white.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
If someone is white then they are nice.
((("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
If Fiona is rough then Fiona is young.
((("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "young" "+"))
All young people are nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
Dave is quiet.
True
1
proof
[(triple2)]
("Dave" "is" "quiet" "+")
triple2
Erin is not furry.
False
1
inv-proof
[(triple3)]
("Erin" "is" "furry" "-")
triple3
Fiona is young.
True
2
proof
[(((triple4) -> rule7))]
("Fiona" "is" "young" "+")
((triple4) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not young.
False
2
inv-proof
[(((triple4) -> rule7))]
("Fiona" "is" "young" "-")
((triple4) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
True
3
proof
[(((((triple4) -> rule7)) -> rule8))]
("Fiona" "is" "nice" "+")
((((triple4) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is not nice.
False
3
inv-proof
[(((((triple4) -> rule7)) -> rule8))]
("Fiona" "is" "nice" "-")
((((triple4) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is white.
True
5
proof
[(((((((triple4) -> rule7)) -> rule8) triple4) -> rule5))]
("Fiona" "is" "white" "+")
((((((triple4) -> (rule7 % int3))) -> (rule8 % int2)) triple4) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is not white.
False
5
inv-proof
[(((((((triple4) -> rule7)) -> rule8) triple4) -> rule5))]
("Fiona" "is" "white" "-")
((((((triple4) -> (rule7 % int3))) -> (rule8 % int2)) triple4) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Erin is not white.
Unknown
inv-rconc
[@3: Erin is white.[CWA. Example of deepest failure = (rule5 <- rule3 <- rule1 <- FAIL)]]
("Erin" "is" "white" "-")
Anne is white.
Unknown
rconc
[@3: Anne is white.[CWA. Example of deepest failure = (rule5 <- rule3 <- rule1 <- FAIL)]]
("Anne" "is" "white" "+")
Anne is not nice.
Unknown
inv-rconc
[@4: Anne is nice.[CWA. Example of deepest failure = (rule6 <- rule5 <- rule3 <- rule1 <- FAIL)]]
("Anne" "is" "nice" "-")
Dave is nice.
Unknown
rconc
[@4: Dave is nice.[CWA. Example of deepest failure = (rule6 <- rule5 <- rule3 <- rule1 <- FAIL)]]
("Dave" "is" "nice" "+")
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is furry.[(triple1)] Dave is quiet.[(triple2)] Erin is furry.[(triple3)] Fiona is rough.[(triple4)] @1: Fiona is young.[(((triple4) -> rule7))] @2: Fiona is nice.[(((((triple4) -> rule7)) -> rule8))] @3: Fiona is white.[(((((((triple4) -> rule7)) -> rule8) triple4) -> rule5))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple4
Fiona is young.
("Fiona" "is" "young" "+")
((triple4) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple4) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
((((((triple4) -> (rule7 % int3))) -> (rule8 % int2)) triple4) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3