Fiona is blue. Fiona is round. Fiona is white. If Fiona is white and Fiona is green then Fiona is furry. All blue, round people are green.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If Fiona is white and Fiona is green then Fiona is furry.
((("Fiona" "is" "white" "+") ("Fiona" "is" "green" "+")) -> ("Fiona" "is" "furry" "+"))
All blue, round people are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Fiona is white.
True
1
proof
[(triple3)]
("Fiona" "is" "white" "+")
triple3
Fiona is not round.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "round" "-")
triple2
Fiona is green.
True
3
proof
[(((triple1 triple2) -> rule2))]
("Fiona" "is" "green" "+")
((triple1 triple2) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not green.
False
3
inv-proof
[(((triple1 triple2) -> rule2))]
("Fiona" "is" "green" "-")
((triple1 triple2) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
True
5
proof
[(((triple3 ((triple1 triple2) -> rule2)) -> rule1))]
("Fiona" "is" "furry" "+")
((triple3 ((triple1 triple2) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is not furry.
False
5
inv-proof
[(((triple3 ((triple1 triple2) -> rule2)) -> rule1))]
("Fiona" "is" "furry" "-")
((triple3 ((triple1 triple2) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Fiona is blue.[(triple1)] Fiona is round.[(triple2)] Fiona is white.[(triple3)] @1: Fiona is green.[(((triple1 triple2) -> rule2))] @2: Fiona is furry.[(((triple3 ((triple1 triple2) -> rule2)) -> rule1))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is round.
("Fiona" "is" "round" "+")
triple2
Fiona is white.
("Fiona" "is" "white" "+")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
((triple1 triple2) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple3 ((triple1 triple2) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2