Fiona is rough. If something is rough then it is white. If something is nice and white then it is young. All rough things are nice.
Fiona is rough.
("Fiona" "is" "rough" "+")
If something is rough then it is white.
((("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
If something is nice and white then it is young.
((("something" "is" "nice" "+") ("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
All rough things are nice.
((("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
Fiona is rough.
True
1
proof
[(triple1)]
("Fiona" "is" "rough" "+")
triple1
Fiona is not rough.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "rough" "-")
triple1
Fiona is white.
True
2
proof
[(((triple1) -> rule1))]
("Fiona" "is" "white" "+")
((triple1) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not white.
False
2
inv-proof
[(((triple1) -> rule1))]
("Fiona" "is" "white" "-")
((triple1) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
True
5
proof
[(((((triple1) -> rule3) ((triple1) -> rule1)) -> rule2))]
("Fiona" "is" "young" "+")
((((triple1) -> (rule3 % int3)) ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is not young.
False
5
inv-proof
[(((((triple1) -> rule3) ((triple1) -> rule1)) -> rule2))]
("Fiona" "is" "young" "-")
((((triple1) -> (rule3 % int3)) ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Fiona is rough.[(triple1)] @1: Fiona is nice.[(((triple1) -> rule3))] Fiona is white.[(((triple1) -> rule1))] @2: Fiona is young.[(((((triple1) -> rule3) ((triple1) -> rule1)) -> rule2))]
Fiona is rough.
("Fiona" "is" "rough" "+")
triple1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple1) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple1) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((((triple1) -> (rule3 % int3)) ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3