Fiona is furry. Fiona is kind. Fiona is white. All quiet things are rough. If something is kind then it is quiet. All green, young things are kind.
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is white.
("Fiona" "is" "white" "+")
All quiet things are rough.
((("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
If something is kind then it is quiet.
((("something" "is" "kind" "+")) -> ("something" "is" "quiet" "+"))
All green, young things are kind.
((("something" "is" "green" "+") ("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
Fiona is kind.
True
1
proof
[(triple2)]
("Fiona" "is" "kind" "+")
triple2
Fiona is not kind.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "kind" "-")
triple2
Fiona is quiet.
True
2
proof
[(((triple2) -> rule2))]
("Fiona" "is" "quiet" "+")
((triple2) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not quiet.
False
2
inv-proof
[(((triple2) -> rule2))]
("Fiona" "is" "quiet" "-")
((triple2) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
True
3
proof
[(((((triple2) -> rule2)) -> rule1))]
("Fiona" "is" "rough" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is not rough.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule1))]
("Fiona" "is" "rough" "-")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Fiona is furry.[(triple1)] Fiona is kind.[(triple2)] Fiona is white.[(triple3)] @1: Fiona is quiet.[(((triple2) -> rule2))] @2: Fiona is rough.[(((((triple2) -> rule2)) -> rule1))]
Fiona is furry.
("Fiona" "is" "furry" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Fiona is white.
("Fiona" "is" "white" "+")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple2) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2