Fiona is rough. If Fiona is not rough then Fiona is not white. If Fiona is red and Fiona is not rough then Fiona is not white. All rough things are not quiet. If Fiona is not quiet then Fiona is smart. Smart, rough things are white. If Fiona is smart then Fiona is big.
Fiona is rough.
("Fiona" "is" "rough" "+")
If Fiona is not rough then Fiona is not white.
((("Fiona" "is" "rough" "~")) -> ("Fiona" "is" "white" "-"))
If Fiona is red and Fiona is not rough then Fiona is not white.
((("Fiona" "is" "red" "+") ("Fiona" "is" "rough" "~")) -> ("Fiona" "is" "white" "-"))
All rough things are not quiet.
((("something" "is" "rough" "+")) -> ("something" "is" "quiet" "-"))
If Fiona is not quiet then Fiona is smart.
((("Fiona" "is" "quiet" "~")) -> ("Fiona" "is" "smart" "+"))
Smart, rough things are white.
((("something" "is" "smart" "+") ("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
If Fiona is smart then Fiona is big.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "big" "+"))
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 not quiet.
True
2
proof
[(((triple1) -> rule3))]
("Fiona" "is" "quiet" "-")
((triple1) -> (rule3 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is quiet.
False
2
inv-proof
[(((triple1) -> rule3))]
("Fiona" "is" "quiet" "+")
((triple1) -> (rule3 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is smart.
True
3
proof
[(((((triple1) -> rule3)) -> rule4))]
("Fiona" "is" "smart" "+")
((((triple1) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int2
Fiona is not smart.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule4))]
("Fiona" "is" "smart" "-")
((((triple1) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int2
Fiona is white.
True
5
proof
[(((((((triple1) -> rule3)) -> rule4) triple1) -> rule5))]
("Fiona" "is" "white" "+")
((((((triple1) -> (rule3 % int3))) -> (rule4 % int2)) triple1) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int3
Fiona is not big.
False
4
inv-proof
[(((((((triple1) -> rule3)) -> rule4)) -> rule6))]
("Fiona" "is" "big" "-")
((((((triple1) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int3
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Fiona is rough.[(triple1)] @1: Fiona is not quiet.[(((triple1) -> rule3))] @2: Fiona is smart.[(((((triple1) -> rule3)) -> rule4))] @3: Fiona is big.[(((((((triple1) -> rule3)) -> rule4)) -> rule6))] Fiona is white.[(((((((triple1) -> rule3)) -> rule4) triple1) -> rule5))]
Fiona is rough.
("Fiona" "is" "rough" "+")
triple1
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
((triple1) -> (rule3 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple1) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int2
Fiona is big.
("Fiona" "is" "big" "+")
((((((triple1) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int3
Fiona is white.
("Fiona" "is" "white" "+")
((((((triple1) -> (rule3 % int3))) -> (rule4 % int2)) triple1) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int3