Charlie is not young. Dave is not cold. Fiona is green. Round, cold people are furry. Smart people are not young. If Charlie is green then Charlie is not furry. All white, green people are smart. If someone is furry then they are white. All green people are white.
Charlie is not young.
("Charlie" "is" "young" "-")
Dave is not cold.
("Dave" "is" "cold" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Round, cold people are furry.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
Smart people are not young.
((("someone" "is" "smart" "+")) -> ("someone" "is" "young" "-"))
If Charlie is green then Charlie is not furry.
((("Charlie" "is" "green" "+")) -> ("Charlie" "is" "furry" "-"))
All white, green people are smart.
((("someone" "is" "white" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "smart" "+"))
If someone is furry then they are white.
((("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
All green people are white.
((("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
Charlie is not young.
True
1
proof
[(triple1)]
("Charlie" "is" "young" "-")
triple1
Charlie is young.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "young" "+")
triple1
Fiona is white.
True
2
proof
[(((triple3) -> rule6))]
("Fiona" "is" "white" "+")
((triple3) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not white.
False
2
inv-proof
[(((triple3) -> rule6))]
("Fiona" "is" "white" "-")
((triple3) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is smart.
True
4
proof
[(((((triple3) -> rule6) triple3) -> rule4))]
("Fiona" "is" "smart" "+")
((((triple3) -> (rule6 % int2)) triple3) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is not smart.
False
4
inv-proof
[(((((triple3) -> rule6) triple3) -> rule4))]
("Fiona" "is" "smart" "-")
((((triple3) -> (rule6 % int2)) triple3) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is not young.
True
5
proof
[(((((((triple3) -> rule6) triple3) -> rule4)) -> rule2))]
("Fiona" "is" "young" "-")
((((((triple3) -> (rule6 % int3)) triple3) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is young.
False
5
inv-proof
[(((((((triple3) -> rule6) triple3) -> rule4)) -> rule2))]
("Fiona" "is" "young" "+")
((((((triple3) -> (rule6 % int3)) triple3) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Dave is not white.
Unknown
inv-rconc
[@2: Dave is white.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Dave" "is" "white" "-")
Fiona is furry.
Unknown
rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "furry" "+")
Charlie is not smart.
Unknown
inv-rconc
[@1: Charlie is smart.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "smart" "-")
Charlie is furry.
Unknown
rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "furry" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Charlie is not young.[(triple1)] Dave is not cold.[(triple2)] Fiona is green.[(triple3)] @1: Fiona is white.[(((triple3) -> rule6))] @2: Fiona is smart.[(((((triple3) -> rule6) triple3) -> rule4))] @3: Fiona is not young.[(((((((triple3) -> rule6) triple3) -> rule4)) -> rule2))]
Charlie is not young.
("Charlie" "is" "young" "-")
triple1
Dave is not cold.
("Dave" "is" "cold" "-")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Fiona is white.
("Fiona" "is" "white" "+")
((triple3) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple3) -> (rule6 % int2)) triple3) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is not young.
("Fiona" "is" "young" "-")
((((((triple3) -> (rule6 % int3)) triple3) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3