Fiona is not cold. Fiona is round. Fiona is young. If Fiona is red then Fiona is kind. If something is smart and young then it is not nice. All young things are red.
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If Fiona is red then Fiona is kind.
((("Fiona" "is" "red" "+")) -> ("Fiona" "is" "kind" "+"))
If something is smart and young then it is not nice.
((("something" "is" "smart" "+") ("something" "is" "young" "+")) -> ("something" "is" "nice" "-"))
All young things are red.
((("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
Fiona is not cold.
True
1
proof
[(triple1)]
("Fiona" "is" "cold" "-")
triple1
Fiona is not young.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "young" "-")
triple3
Fiona is red.
True
2
proof
[(((triple3) -> rule3))]
("Fiona" "is" "red" "+")
((triple3) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is not red.
False
2
inv-proof
[(((triple3) -> rule3))]
("Fiona" "is" "red" "-")
((triple3) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
True
3
proof
[(((((triple3) -> rule3)) -> rule1))]
("Fiona" "is" "kind" "+")
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is not kind.
False
3
inv-proof
[(((((triple3) -> rule3)) -> rule1))]
("Fiona" "is" "kind" "-")
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Fiona is not cold.[(triple1)] Fiona is round.[(triple2)] Fiona is young.[(triple3)] @1: Fiona is red.[(((triple3) -> rule3))] @2: Fiona is kind.[(((((triple3) -> rule3)) -> rule1))]
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple1
Fiona is round.
("Fiona" "is" "round" "+")
triple2
Fiona is young.
("Fiona" "is" "young" "+")
triple3
Fiona is red.
("Fiona" "is" "red" "+")
((triple3) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2