Charlie is green. Charlie is nice. Charlie is quiet. Charlie is round. Charlie is white. Fiona is quiet. Fiona is rough. Round, blue things are white. If Fiona is quiet and Fiona is blue then Fiona is round. If something is quiet then it is blue.
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Round, blue things are white.
((("something" "is" "round" "+") ("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
If Fiona is quiet and Fiona is blue then Fiona is round.
((("Fiona" "is" "quiet" "+") ("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "round" "+"))
If something is quiet then it is blue.
((("something" "is" "quiet" "+")) -> ("something" "is" "blue" "+"))
Fiona is quiet.
True
1
proof
[(triple6)]
("Fiona" "is" "quiet" "+")
triple6
Fiona is not quiet.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "quiet" "-")
triple6
Charlie is blue.
True
2
proof
[(((triple3) -> rule3))]
("Charlie" "is" "blue" "+")
((triple3) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is not blue.
False
2
inv-proof
[(((triple3) -> rule3))]
("Charlie" "is" "blue" "-")
((triple3) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Fiona is round.
True
4
proof
[(((triple6 ((triple6) -> rule3)) -> rule2))]
("Fiona" "is" "round" "+")
((triple6 ((triple6) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is not round.
False
4
inv-proof
[(((triple6 ((triple6) -> rule3)) -> rule2))]
("Fiona" "is" "round" "-")
((triple6 ((triple6) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
True
7
proof
[(((((triple6 ((triple6) -> rule3)) -> rule2) ((triple6) -> rule3)) -> rule1))]
("Fiona" "is" "white" "+")
((((triple6 ((triple6) -> (rule3 % int3))) -> (rule2 % int2)) ((triple6) -> (rule3 % int3))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is not white.
False
7
inv-proof
[(((((triple6 ((triple6) -> rule3)) -> rule2) ((triple6) -> rule3)) -> rule1))]
("Fiona" "is" "white" "-")
((((triple6 ((triple6) -> (rule3 % int3))) -> (rule2 % int2)) ((triple6) -> (rule3 % int3))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
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: Charlie is green.[(triple1)] Charlie is nice.[(triple2)] Charlie is quiet.[(triple3)] Charlie is round.[(triple4)] Charlie is white.[(triple5 OR ((triple4 ((triple3) -> rule3)) -> rule1))] Fiona is quiet.[(triple6)] Fiona is rough.[(triple7)] @1: Charlie is blue.[(((triple3) -> rule3))] Fiona is blue.[(((triple6) -> rule3))] @2: Fiona is round.[(((triple6 ((triple6) -> rule3)) -> rule2))] @3: Fiona is white.[(((((triple6 ((triple6) -> rule3)) -> rule2) ((triple6) -> rule3)) -> rule1))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Charlie is white.
("Charlie" "is" "white" "+")
triple5
((triple4 ((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Fiona is rough.
("Fiona" "is" "rough" "+")
triple7
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple3) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple6) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple6 ((triple6) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
((((triple6 ((triple6) -> (rule3 % int3))) -> (rule2 % int2)) ((triple6) -> (rule3 % int3))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3