Fiona is red. If something is quiet and not red then it is young. If something is quiet then it is young. If something is smart then it is kind. If something is quiet and nice then it is not kind. All red things are smart. If something is kind and red then it is quiet. If something is kind and not red then it is quiet. If Fiona is not red then Fiona is not quiet.
Fiona is red.
("Fiona" "is" "red" "+")
If something is quiet and not red then it is young.
((("something" "is" "quiet" "+") ("something" "is" "red" "~")) -> ("something" "is" "young" "+"))
If something is quiet then it is young.
((("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
If something is smart then it is kind.
((("something" "is" "smart" "+")) -> ("something" "is" "kind" "+"))
If something is quiet and nice then it is not kind.
((("something" "is" "quiet" "+") ("something" "is" "nice" "+")) -> ("something" "is" "kind" "-"))
All red things are smart.
((("something" "is" "red" "+")) -> ("something" "is" "smart" "+"))
If something is kind and red then it is quiet.
((("something" "is" "kind" "+") ("something" "is" "red" "+")) -> ("something" "is" "quiet" "+"))
If something is kind and not red then it is quiet.
((("something" "is" "kind" "+") ("something" "is" "red" "~")) -> ("something" "is" "quiet" "+"))
If Fiona is not red then Fiona is not quiet.
((("Fiona" "is" "red" "~")) -> ("Fiona" "is" "quiet" "-"))
Fiona is red.
True
1
proof
[(triple1)]
("Fiona" "is" "red" "+")
triple1
Fiona is not red.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "red" "-")
triple1
Fiona is smart.
True
2
proof
[(((triple1) -> rule5))]
("Fiona" "is" "smart" "+")
((triple1) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not smart.
False
2
inv-proof
[(((triple1) -> rule5))]
("Fiona" "is" "smart" "-")
((triple1) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is kind.
True
3
proof
[(((((triple1) -> rule5)) -> rule3))]
("Fiona" "is" "kind" "+")
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is not kind.
False
3
inv-proof
[(((((triple1) -> rule5)) -> rule3))]
("Fiona" "is" "kind" "-")
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is quiet.
True
5
proof
[(((((((triple1) -> rule5)) -> rule3) triple1) -> rule6))]
("Fiona" "is" "quiet" "+")
((((((triple1) -> (rule5 % int3))) -> (rule3 % int2)) triple1) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is not quiet.
False
5
inv-proof
[(((((((triple1) -> rule5)) -> rule3) triple1) -> rule6))]
("Fiona" "is" "quiet" "-")
((((((triple1) -> (rule5 % int3))) -> (rule3 % int2)) triple1) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Fiona is red.[(triple1)] @1: Fiona is smart.[(((triple1) -> rule5))] @2: Fiona is kind.[(((((triple1) -> rule5)) -> rule3))] @3: Fiona is quiet.[(((((((triple1) -> rule5)) -> rule3) triple1) -> rule6))] @4: Fiona is young.[(((((((((triple1) -> rule5)) -> rule3) triple1) -> rule6)) -> rule2))]
Fiona is red.
("Fiona" "is" "red" "+")
triple1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple1) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((((triple1) -> (rule5 % int3))) -> (rule3 % int2)) triple1) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
((((((((triple1) -> (rule5 % int4))) -> (rule3 % int3)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4