Fiona is green. Gary is green. Gary is quiet. If something is blue then it is quiet. If Fiona is green then Fiona is blue.
Fiona is green.
("Fiona" "is" "green" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If something is blue then it is quiet.
((("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
If Fiona is green then Fiona is blue.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "blue" "+"))
Fiona is green.
True
1
proof
[(triple1)]
("Fiona" "is" "green" "+")
triple1
Fiona is not green.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "green" "-")
triple1
Fiona is blue.
True
2
proof
[(((triple1) -> rule2))]
("Fiona" "is" "blue" "+")
((triple1) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not blue.
False
2
inv-proof
[(((triple1) -> rule2))]
("Fiona" "is" "blue" "-")
((triple1) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is quiet.
True
3
proof
[(((((triple1) -> rule2)) -> rule1))]
("Fiona" "is" "quiet" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is not quiet.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule1))]
("Fiona" "is" "quiet" "-")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Gary is not smart.
Unknown
inv-random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Gary is not white.
Unknown
inv-random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Fiona is green.[(triple1)] Gary is green.[(triple2)] Gary is quiet.[(triple3)] @1: Fiona is blue.[(((triple1) -> rule2))] @2: Fiona is quiet.[(((((triple1) -> rule2)) -> rule1))]
Fiona is green.
("Fiona" "is" "green" "+")
triple1
Gary is green.
("Gary" "is" "green" "+")
triple2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple1) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2