Dave is quiet. Fiona is rough. All young things are not white. Cold things are white. Furry, kind things are not white. If Fiona is quiet and Fiona is not cold then Fiona is not rough. If Dave is rough and Dave is quiet then Dave is furry. If something is rough then it is furry. All furry things are young. Kind things are quiet.
Dave is quiet.
("Dave" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
All young things are not white.
((("something" "is" "young" "+")) -> ("something" "is" "white" "-"))
Cold things are white.
((("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
Furry, kind things are not white.
((("something" "is" "furry" "+") ("something" "is" "kind" "+")) -> ("something" "is" "white" "-"))
If Fiona is quiet and Fiona is not cold then Fiona is not rough.
((("Fiona" "is" "quiet" "+") ("Fiona" "is" "cold" "~")) -> ("Fiona" "is" "rough" "-"))
If Dave is rough and Dave is quiet then Dave is furry.
((("Dave" "is" "rough" "+") ("Dave" "is" "quiet" "+")) -> ("Dave" "is" "furry" "+"))
If something is rough then it is furry.
((("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
All furry things are young.
((("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
Kind things are quiet.
((("something" "is" "kind" "+")) -> ("something" "is" "quiet" "+"))
Fiona is rough.
True
1
proof
[(triple2)]
("Fiona" "is" "rough" "+")
triple2
Dave is not quiet.
False
1
inv-proof
[(triple1)]
("Dave" "is" "quiet" "-")
triple1
Fiona is furry.
True
2
proof
[(((triple2) -> rule6))]
("Fiona" "is" "furry" "+")
((triple2) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple2) -> rule6))]
("Fiona" "is" "furry" "-")
((triple2) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
True
3
proof
[(((((triple2) -> rule6)) -> rule7))]
("Fiona" "is" "young" "+")
((((triple2) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not young.
False
3
inv-proof
[(((((triple2) -> rule6)) -> rule7))]
("Fiona" "is" "young" "-")
((((triple2) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not white.
True
4
proof
[(((((((triple2) -> rule6)) -> rule7)) -> rule1))]
("Fiona" "is" "white" "-")
((((((triple2) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is white.
False
4
inv-proof
[(((((((triple2) -> rule6)) -> rule7)) -> rule1))]
("Fiona" "is" "white" "+")
((((((triple2) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Dave is not white.
Unknown
inv-rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "white" "-")
Dave is furry.
Unknown
rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "furry" "+")
Fiona is not quiet.
Unknown
inv-rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Fiona" "is" "quiet" "-")
Dave is young.
Unknown
rconc
[@2: Dave is young.[CWA. Example of deepest failure = (rule7 <- rule5 <- FAIL)]]
("Dave" "is" "young" "+")
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Dave is quiet.[(triple1)] Fiona is rough.[(triple2)] @1: Fiona is furry.[(((triple2) -> rule6))] @2: Fiona is young.[(((((triple2) -> rule6)) -> rule7))] @3: Fiona is not white.[(((((((triple2) -> rule6)) -> rule7)) -> rule1))]
Dave is quiet.
("Dave" "is" "quiet" "+")
triple1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple2
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple2) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((((triple2) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not white.
("Fiona" "is" "white" "-")
((((((triple2) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3