Fiona is blue. Fiona is nice. Fiona is round. If someone is furry and not rough then they are round. If someone is furry and round then they are not quiet. If Fiona is round then Fiona is furry.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If someone is furry and not rough then they are round.
((("someone" "is" "furry" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "round" "+"))
If someone is furry and round then they are not quiet.
((("someone" "is" "furry" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "-"))
If Fiona is round then Fiona is furry.
((("Fiona" "is" "round" "+")) -> ("Fiona" "is" "furry" "+"))
Fiona is nice.
True
1
proof
[(triple2)]
("Fiona" "is" "nice" "+")
triple2
Fiona is not blue.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "blue" "-")
triple1
Fiona is furry.
True
2
proof
[(((triple3) -> rule3))]
("Fiona" "is" "furry" "+")
((triple3) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple3) -> rule3))]
("Fiona" "is" "furry" "-")
((triple3) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not quiet.
True
4
proof
[(((((triple3) -> rule3) triple3) -> rule2))]
("Fiona" "is" "quiet" "-")
((((triple3) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is quiet.
False
4
inv-proof
[(((((triple3) -> rule3) triple3) -> rule2))]
("Fiona" "is" "quiet" "+")
((((triple3) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Fiona is blue.[(triple1)] Fiona is nice.[(triple2)] Fiona is round.[(triple3)] @1: Fiona is furry.[(((triple3) -> rule3))] @2: Fiona is not quiet.[(((((triple3) -> rule3) triple3) -> rule2))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple3) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
((((triple3) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2