Fiona is cold. Cold, white things are big. If Fiona is rough then Fiona is young. White things are not young. White, quiet things are not young. If Fiona is cold then Fiona is white. If something is white and not young then it is not blue.
Fiona is cold.
("Fiona" "is" "cold" "+")
Cold, white things are big.
((("something" "is" "cold" "+") ("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
If Fiona is rough then Fiona is young.
((("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "young" "+"))
White things are not young.
((("something" "is" "white" "+")) -> ("something" "is" "young" "-"))
White, quiet things are not young.
((("something" "is" "white" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "young" "-"))
If Fiona is cold then Fiona is white.
((("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "white" "+"))
If something is white and not young then it is not blue.
((("something" "is" "white" "+") ("something" "is" "young" "~")) -> ("something" "is" "blue" "-"))
Fiona is cold.
True
1
proof
[(triple1)]
("Fiona" "is" "cold" "+")
triple1
Fiona is not cold.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "cold" "-")
triple1
Fiona is white.
True
2
proof
[(((triple1) -> rule5))]
("Fiona" "is" "white" "+")
((triple1) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not white.
False
2
inv-proof
[(((triple1) -> rule5))]
("Fiona" "is" "white" "-")
((triple1) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
True
4
proof
[(((triple1 ((triple1) -> rule5)) -> rule1))]
("Fiona" "is" "big" "+")
((triple1 ((triple1) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is young.
False
3
inv-proof
[(((((triple1) -> rule5)) -> rule3))]
("Fiona" "is" "young" "+")
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is not blue.
True
6
proof
[(((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule3)) -> rule6))]
("Fiona" "is" "blue" "-")
((((triple1) -> (rule5 % int3)) ((((triple1) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1
Fiona is not young.
("Fiona" "is" "young" "-")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is blue.
False
6
inv-proof
[(((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule3)) -> rule6))]
("Fiona" "is" "blue" "+")
((((triple1) -> (rule5 % int3)) ((((triple1) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1
Fiona is not young.
("Fiona" "is" "young" "-")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Fiona is cold.[(triple1)] @1: Fiona is white.[(((triple1) -> rule5))] @2: Fiona is big.[(((triple1 ((triple1) -> rule5)) -> rule1))] Fiona is not young.[(((((triple1) -> rule5)) -> rule3))] @3: Fiona is not blue.[(((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule3)) -> rule6))]
Fiona is cold.
("Fiona" "is" "cold" "+")
triple1
Fiona is white.
("Fiona" "is" "white" "+")
((triple1) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple1 ((triple1) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is not young.
("Fiona" "is" "young" "-")
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is not blue.
("Fiona" "is" "blue" "-")
((((triple1) -> (rule5 % int3)) ((((triple1) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1
Fiona is not young.
("Fiona" "is" "young" "-")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3