Fiona is red. Fiona is white. Gary is green. If Fiona is green and Fiona is red then Fiona is furry. All blue things are green. All white things are green.
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is green.
("Gary" "is" "green" "+")
If Fiona is green and Fiona is red then Fiona is furry.
((("Fiona" "is" "green" "+") ("Fiona" "is" "red" "+")) -> ("Fiona" "is" "furry" "+"))
All blue things are green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
All white things are green.
((("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
Fiona is red.
True
1
proof
[(triple1)]
("Fiona" "is" "red" "+")
triple1
Gary is not green.
False
1
inv-proof
[(triple3)]
("Gary" "is" "green" "-")
triple3
Fiona is green.
True
2
proof
[(((triple2) -> rule3))]
("Fiona" "is" "green" "+")
((triple2) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not green.
False
2
inv-proof
[(((triple2) -> rule3))]
("Fiona" "is" "green" "-")
((triple2) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
True
4
proof
[(((((triple2) -> rule3) triple1) -> rule1))]
("Fiona" "is" "furry" "+")
((((triple2) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is not furry.
False
4
inv-proof
[(((((triple2) -> rule3) triple1) -> rule1))]
("Fiona" "is" "furry" "-")
((((triple2) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Fiona is red.[(triple1)] Fiona is white.[(triple2)] Gary is green.[(triple3)] @1: Fiona is green.[(((triple2) -> rule3))] @2: Fiona is furry.[(((((triple2) -> rule3) triple1) -> rule1))]
Fiona is red.
("Fiona" "is" "red" "+")
triple1
Fiona is white.
("Fiona" "is" "white" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
((triple2) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple2) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2