Fiona is blue. Gary is blue. All young things are quiet. If something is young and not white then it is furry. All quiet, young things are furry. If Fiona is red then Fiona is young. If something is quiet and not white then it is not young. Round, blue things are not young. If Fiona is blue then Fiona is red. If Gary is furry and Gary is not quiet then Gary is red.
Fiona is blue.
("Fiona" "is" "blue" "+")
Gary is blue.
("Gary" "is" "blue" "+")
All young things are quiet.
((("something" "is" "young" "+")) -> ("something" "is" "quiet" "+"))
If something is young and not white then it is furry.
((("something" "is" "young" "+") ("something" "is" "white" "~")) -> ("something" "is" "furry" "+"))
All quiet, young things are furry.
((("something" "is" "quiet" "+") ("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
If Fiona is red then Fiona is young.
((("Fiona" "is" "red" "+")) -> ("Fiona" "is" "young" "+"))
If something is quiet and not white then it is not young.
((("something" "is" "quiet" "+") ("something" "is" "white" "~")) -> ("something" "is" "young" "-"))
Round, blue things are not young.
((("something" "is" "round" "+") ("something" "is" "blue" "+")) -> ("something" "is" "young" "-"))
If Fiona is blue then Fiona is red.
((("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "red" "+"))
If Gary is furry and Gary is not quiet then Gary is red.
((("Gary" "is" "furry" "+") ("Gary" "is" "quiet" "~")) -> ("Gary" "is" "red" "+"))
Gary is blue.
True
1
proof
[(triple2)]
("Gary" "is" "blue" "+")
triple2
Fiona is not blue.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "blue" "-")
triple1
Fiona is red.
True
2
proof
[(((triple1) -> rule7))]
("Fiona" "is" "red" "+")
((triple1) -> (rule7 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is not red.
False
2
inv-proof
[(((triple1) -> rule7))]
("Fiona" "is" "red" "-")
((triple1) -> (rule7 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is young.
True
3
proof
[(((((triple1) -> rule7)) -> rule4))]
("Fiona" "is" "young" "+")
((((triple1) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is not young.
False
3
inv-proof
[(((((triple1) -> rule7)) -> rule4))]
("Fiona" "is" "young" "-")
((((triple1) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is quiet.
True
4
proof
[(((((((triple1) -> rule7)) -> rule4)) -> rule1))]
("Fiona" "is" "quiet" "+")
((((((triple1) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is not quiet.
False
4
inv-proof
[(((((((triple1) -> rule7)) -> rule4)) -> rule1))]
("Fiona" "is" "quiet" "-")
((((((triple1) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Gary is not quiet.
Unknown
inv-rconc
[@1: Gary is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "quiet" "-")
Gary is red.
Unknown
rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Gary" "is" "red" "+")
Gary is not furry.
Unknown
inv-rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "furry" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
@0: Fiona is blue.[(triple1)] Gary is blue.[(triple2)] @1: Fiona is red.[(((triple1) -> rule7))] @2: Fiona is young.[(((((triple1) -> rule7)) -> rule4))] @3: Fiona is quiet.[(((((((triple1) -> rule7)) -> rule4)) -> rule1))] @4: Fiona is furry.[(((((((((triple1) -> rule7)) -> rule4)) -> rule1) ((((triple1) -> rule7)) -> rule4)) -> rule3))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Gary is blue.
("Gary" "is" "blue" "+")
triple2
Fiona is red.
("Fiona" "is" "red" "+")
((triple1) -> (rule7 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((((triple1) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((((triple1) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
((((((((triple1) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple1) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4