Charlie is blue. Charlie is green. Charlie is rough. Erin is quiet. Erin is rough. Erin is smart. Erin is white. Gary is rough. Gary is smart. Gary is white. Harry is smart. All green things are blue. If something is blue then it is rough. Smart things are green. All blue, rough things are quiet. Quiet, rough things are white.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All green things are blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
If something is blue then it is rough.
((("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
Smart things are green.
((("something" "is" "smart" "+")) -> ("something" "is" "green" "+"))
All blue, rough things are quiet.
((("something" "is" "blue" "+") ("something" "is" "rough" "+")) -> ("something" "is" "quiet" "+"))
Quiet, rough things are white.
((("something" "is" "quiet" "+") ("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
Erin is white.
True
1
proof
[(triple7 OR ((triple4 triple5) -> rule5) OR ((triple4 ((((((triple6) -> rule3)) -> rule1)) -> rule2)) -> rule5) OR ((((((((triple6) -> rule3)) -> rule1) triple5) -> rule4) triple5) -> rule5) OR ((((((((triple6) -> rule3)) -> rule1) triple5) -> rule4) ((((((triple6) -> rule3)) -> rule1)) -> rule2)) -> rule5) OR ((((((((triple6) -> rule3)) -> rule1) ((((((triple6) -> rule3)) -> rule1)) -> rule2)) -> rule4) triple5) -> rule5) OR ((((((((triple6) -> rule3)) -> rule1) ((((((triple6) -> rule3)) -> rule1)) -> rule2)) -> rule4) ((((((triple6) -> rule3)) -> rule1)) -> rule2)) -> rule5))]
("Erin" "is" "white" "+")
triple7
((triple4 triple5) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple4 ((((((triple6) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((((triple6) -> (rule3 % int4))) -> (rule1 % int3)) triple5) -> (rule4 % int2)) triple5) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((((triple6) -> (rule3 % int5))) -> (rule1 % int4)) triple5) -> (rule4 % int3)) ((((((triple6) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((triple6) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple6) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple5) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((triple6) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple6) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((((((triple6) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
Gary is not white.
False
1
inv-proof
[(triple10 OR ((((((((triple9) -> rule3)) -> rule1) triple8) -> rule4) triple8) -> rule5) OR ((((((((triple9) -> rule3)) -> rule1) triple8) -> rule4) ((((((triple9) -> rule3)) -> rule1)) -> rule2)) -> rule5) OR ((((((((triple9) -> rule3)) -> rule1) ((((((triple9) -> rule3)) -> rule1)) -> rule2)) -> rule4) triple8) -> rule5) OR ((((((((triple9) -> rule3)) -> rule1) ((((((triple9) -> rule3)) -> rule1)) -> rule2)) -> rule4) ((((((triple9) -> rule3)) -> rule1)) -> rule2)) -> rule5))]
("Gary" "is" "white" "-")
triple10
((((((((triple9) -> (rule3 % int4))) -> (rule1 % int3)) triple8) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple9) -> (rule3 % int5))) -> (rule1 % int4)) triple8) -> (rule4 % int3)) ((((((triple9) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple9) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple9) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple9) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple9) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((((((triple9) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is green.
True
2
proof
[(((triple9) -> rule3))]
("Gary" "is" "green" "+")
((triple9) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Erin is not green.
False
2
inv-proof
[(((triple6) -> rule3))]
("Erin" "is" "green" "-")
((triple6) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Charlie is white.
True
5
proof
[(((((triple1 triple3) -> rule4) triple3) -> rule5) OR ((((triple1 triple3) -> rule4) ((triple1) -> rule2)) -> rule5) OR ((((triple1 ((triple1) -> rule2)) -> rule4) triple3) -> rule5) OR ((((((triple2) -> rule1) triple3) -> rule4) triple3) -> rule5) OR ((((triple1 triple3) -> rule4) ((((triple2) -> rule1)) -> rule2)) -> rule5) OR ((((triple1 ((triple1) -> rule2)) -> rule4) ((triple1) -> rule2)) -> rule5) OR ((((((triple2) -> rule1) triple3) -> rule4) ((triple1) -> rule2)) -> rule5) OR ((((((triple2) -> rule1) ((triple1) -> rule2)) -> rule4) triple3) -> rule5) OR ((((triple1 ((triple1) -> rule2)) -> rule4) ((((triple2) -> rule1)) -> rule2)) -> rule5) OR ((((((triple2) -> rule1) triple3) -> rule4) ((((triple2) -> rule1)) -> rule2)) -> rule5) OR ((((((triple2) -> rule1) ((triple1) -> rule2)) -> rule4) ((triple1) -> rule2)) -> rule5) OR ((((((triple2) -> rule1) ((triple1) -> rule2)) -> rule4) ((((triple2) -> rule1)) -> rule2)) -> rule5) OR ((((triple1 ((((triple2) -> rule1)) -> rule2)) -> rule4) triple3) -> rule5) OR ((((triple1 ((((triple2) -> rule1)) -> rule2)) -> rule4) ((triple1) -> rule2)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule2)) -> rule4) triple3) -> rule5) OR ((((triple1 ((((triple2) -> rule1)) -> rule2)) -> rule4) ((((triple2) -> rule1)) -> rule2)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule2)) -> rule4) ((triple1) -> rule2)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule2)) -> rule4) ((((triple2) -> rule1)) -> rule2)) -> rule5))]
("Charlie" "is" "white" "+")
((((triple1 triple3) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple1 triple3) -> (rule4 % int3)) ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((triple1 ((triple1) -> (rule2 % int3))) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple2) -> (rule1 % int3)) triple3) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple1 triple3) -> (rule4 % int4)) ((((triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((triple1 ((triple1) -> (rule2 % int3))) -> (rule4 % int2)) ((triple1) -> (rule2 % int3))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple2) -> (rule1 % int4)) triple3) -> (rule4 % int3)) ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple2) -> (rule1 % int4)) ((triple1) -> (rule2 % int3))) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple1 ((triple1) -> (rule2 % int4))) -> (rule4 % int3)) ((((triple2) -> (rule1 % int2))) -> (rule2 % int4))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple2) -> (rule1 % int4)) triple3) -> (rule4 % int3)) ((((triple2) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple2) -> (rule1 % int4)) ((triple1) -> (rule2 % int3))) -> (rule4 % int2)) ((triple1) -> (rule2 % int3))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple2) -> (rule1 % int4)) ((triple1) -> (rule2 % int3))) -> (rule4 % int2)) ((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple1 ((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple1 ((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple1) -> (rule2 % int3))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple2) -> (rule1 % int4)) ((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple1 ((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple2) -> (rule1 % int4)) ((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple1) -> (rule2 % int3))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple2) -> (rule1 % int4)) ((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is not white.
False
5
inv-proof
[(((((triple1 triple3) -> rule4) triple3) -> rule5) OR ((((triple1 triple3) -> rule4) ((triple1) -> rule2)) -> rule5) OR ((((triple1 ((triple1) -> rule2)) -> rule4) triple3) -> rule5) OR ((((((triple2) -> rule1) triple3) -> rule4) triple3) -> rule5) OR ((((triple1 triple3) -> rule4) ((((triple2) -> rule1)) -> rule2)) -> rule5) OR ((((triple1 ((triple1) -> rule2)) -> rule4) ((triple1) -> rule2)) -> rule5) OR ((((((triple2) -> rule1) triple3) -> rule4) ((triple1) -> rule2)) -> rule5) OR ((((((triple2) -> rule1) ((triple1) -> rule2)) -> rule4) triple3) -> rule5) OR ((((triple1 ((triple1) -> rule2)) -> rule4) ((((triple2) -> rule1)) -> rule2)) -> rule5) OR ((((((triple2) -> rule1) triple3) -> rule4) ((((triple2) -> rule1)) -> rule2)) -> rule5) OR ((((((triple2) -> rule1) ((triple1) -> rule2)) -> rule4) ((triple1) -> rule2)) -> rule5) OR ((((((triple2) -> rule1) ((triple1) -> rule2)) -> rule4) ((((triple2) -> rule1)) -> rule2)) -> rule5) OR ((((triple1 ((((triple2) -> rule1)) -> rule2)) -> rule4) triple3) -> rule5) OR ((((triple1 ((((triple2) -> rule1)) -> rule2)) -> rule4) ((triple1) -> rule2)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule2)) -> rule4) triple3) -> rule5) OR ((((triple1 ((((triple2) -> rule1)) -> rule2)) -> rule4) ((((triple2) -> rule1)) -> rule2)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule2)) -> rule4) ((triple1) -> rule2)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule2)) -> rule4) ((((triple2) -> rule1)) -> rule2)) -> rule5))]
("Charlie" "is" "white" "-")
((((triple1 triple3) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple1 triple3) -> (rule4 % int3)) ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((triple1 ((triple1) -> (rule2 % int3))) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple2) -> (rule1 % int3)) triple3) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple1 triple3) -> (rule4 % int4)) ((((triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((triple1 ((triple1) -> (rule2 % int3))) -> (rule4 % int2)) ((triple1) -> (rule2 % int3))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple2) -> (rule1 % int4)) triple3) -> (rule4 % int3)) ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple2) -> (rule1 % int4)) ((triple1) -> (rule2 % int3))) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple1 ((triple1) -> (rule2 % int4))) -> (rule4 % int3)) ((((triple2) -> (rule1 % int2))) -> (rule2 % int4))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple2) -> (rule1 % int4)) triple3) -> (rule4 % int3)) ((((triple2) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple2) -> (rule1 % int4)) ((triple1) -> (rule2 % int3))) -> (rule4 % int2)) ((triple1) -> (rule2 % int3))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple2) -> (rule1 % int4)) ((triple1) -> (rule2 % int3))) -> (rule4 % int2)) ((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple1 ((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple1 ((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple1) -> (rule2 % int3))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple2) -> (rule1 % int4)) ((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple1 ((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple2) -> (rule1 % int4)) ((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple1) -> (rule2 % int3))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple2) -> (rule1 % int4)) ((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Harry is rough.
True
4
proof
[(((((((triple11) -> rule3)) -> rule1)) -> rule2))]
("Harry" "is" "rough" "+")
((((((triple11) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is not rough.
False
4
inv-proof
[(((((((triple11) -> rule3)) -> rule1)) -> rule2))]
("Harry" "is" "rough" "-")
((((((triple11) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is quiet.
True
8
proof
[(((((((triple11) -> rule3)) -> rule1) ((((((triple11) -> rule3)) -> rule1)) -> rule2)) -> rule4))]
("Harry" "is" "quiet" "+")
((((((triple11) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple11) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is not quiet.
False
8
inv-proof
[(((((((triple11) -> rule3)) -> rule1) ((((((triple11) -> rule3)) -> rule1)) -> rule2)) -> rule4))]
("Harry" "is" "quiet" "-")
((((((triple11) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple11) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is white.
True
13
proof
[(((((((((triple11) -> rule3)) -> rule1) ((((((triple11) -> rule3)) -> rule1)) -> rule2)) -> rule4) ((((((triple11) -> rule3)) -> rule1)) -> rule2)) -> rule5))]
("Harry" "is" "white" "+")
((((((((triple11) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple11) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((((((triple11) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Harry is not white.
False
13
inv-proof
[(((((((((triple11) -> rule3)) -> rule1) ((((((triple11) -> rule3)) -> rule1)) -> rule2)) -> rule4) ((((((triple11) -> rule3)) -> rule1)) -> rule2)) -> rule5))]
("Harry" "is" "white" "-")
((((((((triple11) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple11) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((((((triple11) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Erin is not cold.
Unknown
inv-random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "-")
Charlie is smart.
Unknown
random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "+")
@0: Charlie is blue.[(triple1 OR ((triple2) -> rule1))] Charlie is green.[(triple2)] Charlie is rough.[(triple3 OR ((triple1) -> rule2) OR ((((triple2) -> rule1)) -> rule2))] Erin is quiet.[(triple4 OR ((((((triple6) -> rule3)) -> rule1) triple5) -> rule4) OR ((((((triple6) -> rule3)) -> rule1) ((((((triple6) -> rule3)) -> rule1)) -> rule2)) -> rule4))] Erin is rough.[(triple5 OR ((((((triple6) -> rule3)) -> rule1)) -> rule2))] Erin is smart.[(triple6)] Erin is white.[(triple7 OR ((triple4 triple5) -> rule5) OR ((triple4 ((((((triple6) -> rule3)) -> rule1)) -> rule2)) -> rule5) OR ((((((((triple6) -> rule3)) -> rule1) triple5) -> rule4) triple5) -> rule5) OR ((((((((triple6) -> rule3)) -> rule1) triple5) -> rule4) ((((((triple6) -> rule3)) -> rule1)) -> rule2)) -> rule5) OR ((((((((triple6) -> rule3)) -> rule1) ((((((triple6) -> rule3)) -> rule1)) -> rule2)) -> rule4) triple5) -> rule5) OR ((((((((triple6) -> rule3)) -> rule1) ((((((triple6) -> rule3)) -> rule1)) -> rule2)) -> rule4) ((((((triple6) -> rule3)) -> rule1)) -> rule2)) -> rule5))] Gary is rough.[(triple8 OR ((((((triple9) -> rule3)) -> rule1)) -> rule2))] Gary is smart.[(triple9)] Gary is white.[(triple10 OR ((((((((triple9) -> rule3)) -> rule1) triple8) -> rule4) triple8) -> rule5) OR ((((((((triple9) -> rule3)) -> rule1) triple8) -> rule4) ((((((triple9) -> rule3)) -> rule1)) -> rule2)) -> rule5) OR ((((((((triple9) -> rule3)) -> rule1) ((((((triple9) -> rule3)) -> rule1)) -> rule2)) -> rule4) triple8) -> rule5) OR ((((((((triple9) -> rule3)) -> rule1) ((((((triple9) -> rule3)) -> rule1)) -> rule2)) -> rule4) ((((((triple9) -> rule3)) -> rule1)) -> rule2)) -> rule5))] Harry is smart.[(triple11)] @1: Charlie is quiet.[(((triple1 triple3) -> rule4) OR ((triple1 ((triple1) -> rule2)) -> rule4) OR ((((triple2) -> rule1) triple3) -> rule4) OR ((((triple2) -> rule1) ((triple1) -> rule2)) -> rule4) OR ((triple1 ((((triple2) -> rule1)) -> rule2)) -> rule4) OR ((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule2)) -> rule4))] Erin is green.[(((triple6) -> rule3))] Gary is green.[(((triple9) -> rule3))] Harry is green.[(((triple11) -> rule3))] @2: Charlie is white.[(((((triple1 triple3) -> rule4) triple3) -> rule5) OR ((((triple1 triple3) -> rule4) ((triple1) -> rule2)) -> rule5) OR ((((triple1 ((triple1) -> rule2)) -> rule4) triple3) -> rule5) OR ((((((triple2) -> rule1) triple3) -> rule4) triple3) -> rule5) OR ((((triple1 triple3) -> rule4) ((((triple2) -> rule1)) -> rule2)) -> rule5) OR ((((triple1 ((triple1) -> rule2)) -> rule4) ((triple1) -> rule2)) -> rule5) OR ((((((triple2) -> rule1) triple3) -> rule4) ((triple1) -> rule2)) -> rule5) OR ((((((triple2) -> rule1) ((triple1) -> rule2)) -> rule4) triple3) -> rule5) OR ((((triple1 ((triple1) -> rule2)) -> rule4) ((((triple2) -> rule1)) -> rule2)) -> rule5) OR ((((((triple2) -> rule1) triple3) -> rule4) ((((triple2) -> rule1)) -> rule2)) -> rule5) OR ((((((triple2) -> rule1) ((triple1) -> rule2)) -> rule4) ((triple1) -> rule2)) -> rule5) OR ((((((triple2) -> rule1) ((triple1) -> rule2)) -> rule4) ((((triple2) -> rule1)) -> rule2)) -> rule5) OR ((((triple1 ((((triple2) -> rule1)) -> rule2)) -> rule4) triple3) -> rule5) OR ((((triple1 ((((triple2) -> rule1)) -> rule2)) -> rule4) ((triple1) -> rule2)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule2)) -> rule4) triple3) -> rule5) OR ((((triple1 ((((triple2) -> rule1)) -> rule2)) -> rule4) ((((triple2) -> rule1)) -> rule2)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule2)) -> rule4) ((triple1) -> rule2)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule2)) -> rule4) ((((triple2) -> rule1)) -> rule2)) -> rule5))] Erin is blue.[(((((triple6) -> rule3)) -> rule1))] Gary is blue.[(((((triple9) -> rule3)) -> rule1))] Harry is blue.[(((((triple11) -> rule3)) -> rule1))] @3: Gary is quiet.[(((((((triple9) -> rule3)) -> rule1) triple8) -> rule4) OR ((((((triple9) -> rule3)) -> rule1) ((((((triple9) -> rule3)) -> rule1)) -> rule2)) -> rule4))] Harry is rough.[(((((((triple11) -> rule3)) -> rule1)) -> rule2))] @4: Harry is quiet.[(((((((triple11) -> rule3)) -> rule1) ((((((triple11) -> rule3)) -> rule1)) -> rule2)) -> rule4))] @5: Harry is white.[(((((((((triple11) -> rule3)) -> rule1) ((((((triple11) -> rule3)) -> rule1)) -> rule2)) -> rule4) ((((((triple11) -> rule3)) -> rule1)) -> rule2)) -> rule5))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
((triple2) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
((triple1) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
((((((triple6) -> (rule3 % int3))) -> (rule1 % int2)) triple5) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((((triple6) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple6) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
triple5
((((((triple6) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
((triple4 triple5) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple4 ((((((triple6) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((((triple6) -> (rule3 % int4))) -> (rule1 % int3)) triple5) -> (rule4 % int2)) triple5) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((((triple6) -> (rule3 % int5))) -> (rule1 % int4)) triple5) -> (rule4 % int3)) ((((((triple6) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((triple6) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple6) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple5) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((triple6) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple6) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((((((triple6) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
Gary is rough.
("Gary" "is" "rough" "+")
triple8
((((((triple9) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
triple9
Gary is white.
("Gary" "is" "white" "+")
triple10
((((((((triple9) -> (rule3 % int4))) -> (rule1 % int3)) triple8) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple9) -> (rule3 % int5))) -> (rule1 % int4)) triple8) -> (rule4 % int3)) ((((((triple9) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple9) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple9) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple9) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple9) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((((((triple9) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
triple11
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple1 triple3) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((triple1 ((triple1) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple2) -> (rule1 % int2)) triple3) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple2) -> (rule1 % int3)) ((triple1) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((triple1 ((((triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple2) -> (rule1 % int3)) ((((triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
((triple6) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple9) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple11) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
((((triple1 triple3) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple1 triple3) -> (rule4 % int3)) ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((triple1 ((triple1) -> (rule2 % int3))) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple2) -> (rule1 % int3)) triple3) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple1 triple3) -> (rule4 % int4)) ((((triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((triple1 ((triple1) -> (rule2 % int3))) -> (rule4 % int2)) ((triple1) -> (rule2 % int3))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple2) -> (rule1 % int4)) triple3) -> (rule4 % int3)) ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple2) -> (rule1 % int4)) ((triple1) -> (rule2 % int3))) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple1 ((triple1) -> (rule2 % int4))) -> (rule4 % int3)) ((((triple2) -> (rule1 % int2))) -> (rule2 % int4))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple2) -> (rule1 % int4)) triple3) -> (rule4 % int3)) ((((triple2) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple2) -> (rule1 % int4)) ((triple1) -> (rule2 % int3))) -> (rule4 % int2)) ((triple1) -> (rule2 % int3))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple2) -> (rule1 % int4)) ((triple1) -> (rule2 % int3))) -> (rule4 % int2)) ((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple1 ((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple1 ((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple1) -> (rule2 % int3))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple2) -> (rule1 % int4)) ((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple1 ((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple2) -> (rule1 % int4)) ((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple1) -> (rule2 % int3))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple2) -> (rule1 % int4)) ((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
((((triple6) -> (rule3 % int2))) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
((((triple9) -> (rule3 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((((triple11) -> (rule3 % int2))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
((((((triple9) -> (rule3 % int3))) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple9) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple9) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
((((((triple11) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
((((((triple11) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple11) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
((((((((triple11) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple11) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((((((triple11) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5